Compositional minimisation of finite state systems using interface specifications

By Susanne Graf, Bernhard Steffen and Gerald Lüttgen

Publisher: 'Springer Science and Business Media LLC'

Year: 2005

DOI identifier: 10.1007/bf01211911

OAI identifier:

Provided by: MUCC (Crossref)

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

http://www-users.cs.york.ac.uk... (external link)