Suchfeld einblenden
Schlagwort Zustandsraumexplosion
2 Treffer
Seite < 1 >
Schäfer, Mark: Advanced STG decomposition
/ Mark Schaefer. - Norderstedt : Books on Demand GmbH, 2008. - 223 S. : graph. Darst.; 23 cm, 535 gr.
ISBN 978-3-8370-4604-5 Pp. : EUR 40.00, sfr 66.50 (freier Pr.)
Quelle: DNB Verlagsmeldungen
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 >
