Languages
Baier, Christel.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Principles of model checking
by:
Baier, Christel.; NetLibrary, Inc.; Katoen, Joost-Pieter.
(Electronic resources)