Specification and Analysis of Concurrent Systems in a Complete Visual Environment

Marita Dücker, Georg Lehrenfeld, Wolfgang Müller 0003, Christoph Tahedi. Specification and Analysis of Concurrent Systems in a Complete Visual Environment. In András Jávor, Axel Lehmann 0001, Istvan Molnár, editors, Modelling and Simulation, ESM96, June 2-6, 1996, Budapest University of Economic Sciences. pages 491-496, SCS, The Society for Computer Simulation International, 1996.

Abstract

Abstract is missing.