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

Suche nach Veröffentlichungen - Detailansicht
 
Art der Veröffentlichung: Artikel in Sammlung
Autor: Till Mossakowski, Christian Maeder, Klaus Lüttich
Herausgeber: Michael Kohlhase
Titel: Hets: The Heterogeneous Tool Set
Buch / Sammlungs-Titel: Maya: Maintaining Structured Developments
Band: 4180
Seite(n): 286 – 289
Serie / Reihe: Lecture Notes in Artificial Intelligence
Erscheinungsjahr: 2006
Verleger: Springer
Internet: dx.doi.org/10.1007/11826095_30
Status: Other
Letzte Aktualisierung: 08. 01. 2010

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