Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems.
Electr. Notes Theor. Comput. Sci. Bd. 230. 2009 S. 161 - 187
Erscheinungsjahr: 2009
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1016/j.entcs.2009.02.024
Geprüft | Bibliothek |