Contracts for modular discrete controller synthesis
Delaval, Gwenaël, Marchand, Hervé, Rutten, EricVolume:
45
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/1755951.1755898
Date:
April, 2010
File:
PDF, 476 KB
english, 2010