Suchfeld einblenden
Schlagwort Zustandsraumexplosion
1 Treffer
Seite < 1 >
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
Seite < 1 >