Application of petri nets to communication networks
: advances in petri nets / Jonathan Billington ... (ed.). - Berlin : Springer, 1999. - VII, 303 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1605)
ISBN 978-3-540-65870-2 / 3-540-65870-X kart. : DM 68.00
Literaturangaben
Quelle: DNB
David, René: Discrete, continuous, and hybrid Petri nets
/ René David ; Hassane Alla. - Berlin : Springer, 2004. - XXII, 524 S. : graph. Darst.; 24 cm
ISBN 978-3-540-22480-8 / 3-540-22480-7 Pp. : EUR 106.95 (freier Pr.), sfr 169.00 (freier Pr.)
Literaturverz. S. 501 - 514
Quelle: DNB Verlagsmeldungen
Formal methods for the design of real time systems
: revised lectures / International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13 - 18, 2004. Marco Bernardo ; Flavio Corradini (ed.). - Berlin : Springer, 2004. - VI, 293 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3185 : Tutorial)
ISBN 978-3-540-23068-7 / 3-540-23068-8 kart. : EUR 49.22 (freier Pr.), sfr 84.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal modeling and analysis of timed systems
: first international workshop ; revised papers / FORMATS 2003, Marseille, France, September 6 - 7, 2003. Ed.: Kim G. Larsen .... - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [2791])
ISBN 978-3-540-40903-8
Titel aus Metadaten. - Lizenzpfichtig
Quelle: DNB
Formal modeling and analysis of timed systems
: first international workshop ; revised papers / FORMATS 2003, Marseille, France, September 6 - 7, 2003. Kim G. Larsen ; Peter Niebert (ed.). - Berlin : Springer, 2004. - VIII, 280 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2791)
ISBN 978-3-540-21671-1 / 3-540-21671-5 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal modeling and analysis of timed systems
: 6th international conference ; proceedings / FORMATS 2008, Saint Malo, France, September 15 - 17, 2008. Franck Cassez ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5215)
ISBN 978-3-540-85778-5
Lizenzpflichtig
Quelle: DNB
Formal modeling and analysis of timed systems
: 5th international conference ; proceedings / FORMATS 2007, Salzburg, Austria, October 3 - 5, 2007. Jean-François Raskin ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4763)
ISBN 978-3-540-75454-1
Lizenzpflichtig
Quelle: DNB
Formal modeling and analysis of timed systems
: 4th international conference ; proceedings / FORMATS 2006, Paris, France, September 25 - 27, 2006. Eugene Asarin ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4202)
ISBN 978-3-540-45031-3
Lizenzpflichtig
Quelle: DNB
Formal modeling and analysis of timed systems
: third international conference ; proceedings / FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005. Paul Pettersson ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3829)
ISBN 978-3-540-31616-9
Lizenzpflichtig
Quelle: DNB
Formal techniques, modelling and analysis of timed and fault tolerant systems
: proceedings / Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004. Yassine Lakhnech ; Sergio Yovine (ed.). - Berlin : Springer, 2004. - X, 395 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3253)
ISBN 978-3-540-23167-7 / 3-540-23167-6 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen