On a class of optimal abstractions of finite-state machines

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal methods in system design 1996-05, Vol.8 (3), p.195-220
1. Verfasser:	Oikonomou, Kostas N.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!