Sheaves and geometric logic and applications to the modular verification of complex systems
S. 1 - 30
Publikationstyp: (noch) nicht publizierte Dokumente
Sprache: Englisch
Doi/URN: 10.48550/arXiv.0810.2877
Autoren
Sofronie-Stokkermans, Viorica (Autor)