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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the Forum on Specification & Design Languages (FDL) 2005
Place of Publication	Lausanne
Publisher	FDL
Pages	531-542
Publication status	Published - 2005
Event	conference; FDL'05, Lausanne, Switzerland; 2005-09-27; 2005-09-30 - Duration: 27 Sep 2005 → 30 Sep 2005

Conference	conference; FDL'05, Lausanne, Switzerland; 2005-09-27; 2005-09-30
Period	27/09/05 → 30/09/05
Other	FDL'05, Lausanne, Switzerland

Cite this

@inproceedings{03b805b0e99f4a058a554fedaa5f1126,

title = "Property-Preservation Synthesis for Unified Control- and Data-Oriented Models",

author = "O. Florescu and J.P.M. Voeten and H. Corporaal",

year = "2005",

language = "English",

pages = "531--542",

booktitle = "Proceedings of the Forum on Specification & Design Languages (FDL) 2005",

publisher = "FDL",

note = "conference; FDL'05, Lausanne, Switzerland; 2005-09-27; 2005-09-30 ; Conference date: 27-09-2005 Through 30-09-2005",

}

TY - GEN

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

AU - Florescu, O.

AU - Voeten, J.P.M.

AU - Corporaal, H.

PY - 2005

Y1 - 2005

M3 - Conference contribution

SP - 531

EP - 542

BT - Proceedings of the Forum on Specification & Design Languages (FDL) 2005

PB - FDL

CY - Lausanne

T2 - conference; FDL'05, Lausanne, Switzerland; 2005-09-27; 2005-09-30

Y2 - 27 September 2005 through 30 September 2005

ER -