1
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... analysis techniques for stochastic well-formed nets and stochastic process algebras -- Modelling...

2
Published 1991
Springer Berlin Heidelberg
Table of Contents: ...13. On Well-Formed Coloured Nets and Their Symbolic Reachability Graph -- Section F: Analysis...

3
Published 1998
Springer Berlin Heidelberg
... professionals involved in the design and management of embedded systems in industry as well as researchers...

4
by Paun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto
Published 1998
Springer Berlin Heidelberg
... theory of DNA computing. Apart from being well-known scientists, all three authors are known...

5
Published 1998
Springer Berlin Heidelberg
... in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well...

6
Published 1997
Springer Berlin Heidelberg
... invitation by the volume editors, 22 internationally well-known scientists from mathematical logics...

7
Published 1987
Springer Berlin Heidelberg
... Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well...

8
Published 1987
Springer Berlin Heidelberg
... was organized in Hamburg, West Germany, aiming at systematizing the existing knowledge and making it well...

9
Published 1994
Springer Berlin Heidelberg
... Maurer at Graz, Austria, in June 1994; the contributing authors are well-known scientists with special...

10
Published 1992
Springer Berlin Heidelberg
... and developmental biology as well as professionals in computer graphics...