EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Lindner, T.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

1994

Wieringa, R.J. (1994) LCM and MCM: Specification of a control system using dynamic logic and process algebra. In: Formal Development of Reactive Systems Case Study Production Cell. Lecture Notes in Computer Science 891. Springer, Berlin, pp. 333-355. ISBN 9783540588672

This list was generated on Mon Mar 20 03:09:48 CET 2017.