Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Modeling Dynamic Processes in TLA.

FBT. 1999 S. 185 - 192

Erscheinungsjahr: 1999

Publikationstyp: Buchbeitrag (Konferenzbeitrag)

Geprüft:Bibliothek

Autoren

Rock, Georg (Autor)
Stephan, Werner (Autor)
Wolpers, Andreas (Autor)

Verknüpfte Personen

Georg Rock

Beteiligte Einrichtungen

Logo Informatik