Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems
Electronic Notes in Theoretical Computer Science. Bd. 230. Amsterdam: Elsevier 2009 S. 161 - 187
Erscheinungsjahr: 2009
ISBN/ISSN: 1571-0661
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1016/j.entcs.2009.02.024
| Geprüft | Bibliothek |
Inhaltszusammenfassung
