A constraint oriented proof methodology based on modal transition systems

Bibliographische Detailangaben

1. Verfasser:	Larsen, Kim Guldstrand (VerfasserIn)
Weitere Verfasser:	Steffen, Bernhard (VerfasserIn), Weise, Carsten (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Passau Univ., Fak. für Mathematik und Informatik 1995
Schriftenreihe:	MIP / Universität Passau Fakultät für Mathematik und Informatik 9502
Schlagworte:	Bericht > Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!