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

Conference	2005 Forum on specification and Design Languages (FDL 2005)
Abbreviated title	FDL 2005
Country/Territory	Switzerland
City	Lausanne
Period	27/09/05 → 30/09/05
Other	FDL'05, Lausanne, Switserland

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 = "2005 Forum on specification and Design Languages (FDL 2005), FDL 2005 ; 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 - 2005 Forum on specification and Design Languages (FDL 2005)

Y2 - 27 September 2005 through 30 September 2005

ER -