Property-Preservation Synthesis for Unified Control- and Data-Oriented Models

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the Forum on Specification & Design Languages (FDL) 2005
Place of PublicationLausanne
PublisherFDL
Pages531-542
Publication statusPublished - 2005
Eventconference; FDL'05, Lausanne, Switzerland; 2005-09-27; 2005-09-30 -
Duration: 27 Sep 200530 Sep 2005

Conference

Conferenceconference; FDL'05, Lausanne, Switzerland; 2005-09-27; 2005-09-30
Period27/09/0530/09/05
OtherFDL'05, Lausanne, Switzerland

Cite this