The formal design of distributed controllers with dSL and Spin

Technical Report PDF: 
Technical Report Number: 
2005.55
TitleThe formal design of distributed controllers with dSL and Spin
Publication TypeJournal Article
Year of Publication2005
AuthorsWachter, BD, Genon A, Massart T, Meuter C
JournalFormal Asp. Comput.
Volume17
Pagination177-200