KIT | KIT-Bibliothek | Impressum

Vicinity respecting homomorphisms for abstracting system requirements

Desel, Jörg; Merceron, Agathe



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buch
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 277396
Erscheinungsvermerk Karlsruhe 1996. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 337.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page