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
Event2005 Forum on specification and Design Languages (FDL 2005) - Lausanne, Switzerland
Duration: 27 Sep 200530 Sep 2005

Conference

Conference2005 Forum on specification and Design Languages (FDL 2005)
Abbreviated titleFDL 2005
Country/TerritorySwitzerland
CityLausanne
Period27/09/0530/09/05
OtherFDL'05, Lausanne, Switserland

Cite this