Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht
 
Art der Veröffentlichung: Artikel
Autor: Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow
Titel: Preface
Seite(n): 1
Zeitschrift: Journal of Automated Reasoning, Special Issue on Formal Modeling and Verification of Critical Systems
Erscheinungsjahr: 2008
Status: Other
Letzte Aktualisierung: 14. 10. 2009

 Zurück zum Suchergebnis
  
   
Autor: Automatisch generierte Seite 		 
  AG BKB 
Zuletzt geändert am: 9. Mai 2023   impressum