Transformation + Analysis = Verification

I.G.J. Raedts; M. Petkovic; A. Serebrenik; L. Somers

Transformation + Analysis = Verification

I.G.J. Raedts, M. Petkovic, A. Serebrenik, L. Somers

Process Science

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

Original language	English
Title of host publication	Business process engineering : Proceedings of the 10th International Conference on Quality Engineering in Software Technology (Conquest 2007) 26-28 September 2007, Potsdam, Germany
Editors	I. Schieferdecker, S. Goericke
Place of Publication	Heidelberg, Germany
Publisher	dpunkt.verlag
Pages	253-264
ISBN (Print)	978-3-89864-489-1
Publication status	Published - 2007
Event	conference; Conquest 2007, Potsdam, Germany; 2007-09-26; 2007-09-28 - Duration: 26 Sep 2007 → 28 Sep 2007

Conference

Conference	conference; Conquest 2007, Potsdam, Germany; 2007-09-26; 2007-09-28
Period	26/09/07 → 28/09/07
Other	Conquest 2007, Potsdam, Germany

Cite this

Raedts, I.G.J. ; Petkovic, M. ; Serebrenik, A. et al. / Transformation + Analysis = Verification. Business process engineering : Proceedings of the 10th International Conference on Quality Engineering in Software Technology (Conquest 2007) 26-28 September 2007, Potsdam, Germany. editor / I. Schieferdecker ; S. Goericke. Heidelberg, Germany : dpunkt.verlag, 2007. pp. 253-264

@inproceedings{65df49c8a9684799bcff3752817582a1,

title = "Transformation + Analysis = Verification",

author = "I.G.J. Raedts and M. Petkovic and A. Serebrenik and L. Somers",

year = "2007",

language = "English",

isbn = "978-3-89864-489-1",

pages = "253--264",

editor = "I. Schieferdecker and S. Goericke",

booktitle = "Business process engineering : Proceedings of the 10th International Conference on Quality Engineering in Software Technology (Conquest 2007) 26-28 September 2007, Potsdam, Germany",

publisher = "dpunkt.verlag",

note = "conference; Conquest 2007, Potsdam, Germany; 2007-09-26; 2007-09-28 ; Conference date: 26-09-2007 Through 28-09-2007",

}

Raedts, IGJ, Petkovic, M, Serebrenik, A & Somers, L 2007, Transformation + Analysis = Verification. in I Schieferdecker & S Goericke (eds), Business process engineering : Proceedings of the 10th International Conference on Quality Engineering in Software Technology (Conquest 2007) 26-28 September 2007, Potsdam, Germany. dpunkt.verlag, Heidelberg, Germany, pp. 253-264, conference; Conquest 2007, Potsdam, Germany; 2007-09-26; 2007-09-28, 26/09/07.

Transformation + Analysis = Verification. / Raedts, I.G.J.; Petkovic, M.; Serebrenik, A. et al.

Business process engineering : Proceedings of the 10th International Conference on Quality Engineering in Software Technology (Conquest 2007) 26-28 September 2007, Potsdam, Germany. ed. / I. Schieferdecker; S. Goericke. Heidelberg, Germany : dpunkt.verlag, 2007. p. 253-264.

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

TY - GEN

T1 - Transformation + Analysis = Verification

AU - Raedts, I.G.J.

AU - Petkovic, M.

AU - Serebrenik, A.

AU - Somers, L.

PY - 2007

Y1 - 2007

M3 - Conference contribution

SN - 978-3-89864-489-1

SP - 253

EP - 264

BT - Business process engineering : Proceedings of the 10th International Conference on Quality Engineering in Software Technology (Conquest 2007) 26-28 September 2007, Potsdam, Germany

A2 - Schieferdecker, I.

A2 - Goericke, S.

PB - dpunkt.verlag

CY - Heidelberg, Germany

T2 - conference; Conquest 2007, Potsdam, Germany; 2007-09-26; 2007-09-28

Y2 - 26 September 2007 through 28 September 2007

ER -