Sheaves and geometric logic and applications to the modular verification of complex systems
CoRR. Bd. abs/0810.2877. 2008
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
CoRR. Bd. abs/0810.2877. 2008
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |