Application and theory of Petri nets 2002
: 23rd international conference ; proceedings / ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002. J. Esparza ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2360)
ISBN 978-3-540-48068-6
Lizenzpflichtig
Quelle: DNB
Esparza, Javier: Unfoldings
: a partial order approach to model checking / Javier Esparza ; Keijo Heljanko. - Berlin : Springer, 2008. - XII, 169 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-77425-9 Pp. : EUR 58.80 (freier Pr.)
Literaturverz. S. 157 - 164
Quelle: DNB Verlagsmeldungen