Applications of Hierarchical Reasoning in the Verification of Complex Systems 3
Electronic Notes in Theoretical Computer Science. Bd. 174. H. 8. Amsterdam: Elsevier 2007 S. 39 - 54
Erscheinungsjahr: 2007
ISBN/ISSN: 1571-0661
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1016/j.entcs.2006.11.038
| Geprüft | Bibliothek |
