Formal Development of Reactive Systems : Case Study Production Cell". Volume (1995)

by T Lindner
Venue:891 of LNCS, Spring-Verlag