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

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel
Autor: Einar Broch Johnsen, Christoph Lüth
Titel: Abstracting Transformations for Refinement
Band: 10
Seite(n): 316 – 336
Zeitschrift: Nordic Journal of Computing
Erscheinungsjahr: 2004
PDF Version: http://www.informatik.uni-bremen.de/~cxl/papers/njc04a.pdf
PostScript Version: http://www.informatik.uni-bremen.de/~cxl/papers/njc04a.ps.gz
Status: Reviewed
Letzte Aktualisierung: 27. 02. 2004

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