Login / Signup

Compositional Minimisation of Finite State Systems Using Interface Specifications.

Susanne GrafBernhard SteffenGerald Lüttgen
Published in: Formal Aspects Comput. (1996)
Keyphrases