Applications of Hierarchical Reasoning in the Verification of Complex Systems.
Electr. Notes Theor. Comput. Sci. Bd. 174. H. 8. 2007 S. 39 - 54
Erscheinungsjahr: 2007
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1016/j.entcs.2006.11.038
Geprüft | Bibliothek |