Art
J-GLOBAL ID:200902102498237320   Reference number:96A0538875

Formal Specification and Synthesis of Procedural Controllers for Process Systems.

Author (1):
Material:
Volume: 212  Page: 244P  Publication year: 1996 
JST Material Number: A0760B  ISSN: 0170-8643  Document type: Proceedings
Country of issue: Germany, Federal Republic of (DEU)  Language: ENGLISH (EN)

Return to Previous Page