A Property Specification Language for Workflow Diagnostics

Ella E. Roubtsova

doi:10.5220/0002516502970302

A Property Specification Language for Workflow Diagnostics

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

Original language	English
Title of host publication	Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 2: ICEIS
Editors	Chin-Sheng Chen, Joaquim Filipe, Isabel Seruca, José Cordeiro
Place of Publication	Setúbal
Publisher	SCITEPRESS-Science and Technology Publications, Lda.
Pages	297-302
Number of pages	6
Volume	2
ISBN (Print)	972-8865-19-8
DOIs	https://doi.org/10.5220/0002516502970302
Publication status	Published - May 2005
Externally published	Yes
Event	Seventh International Conference on Enterprise Information Systems - Miami, United States Duration: 24 May 2005 → 28 May 2005 Conference number: 7

Conference

Conference	Seventh International Conference on Enterprise Information Systems
Abbreviated title	ICEIS 2005
Country/Territory	United States
City	Miami
Period	24/05/05 → 28/05/05

Access to Document

10.5220/0002516502970302Licence: CC BY-NC-ND

Cite this

@inproceedings{2dff423eb4bd499caebb377c22cba0b7,

title = "A Property Specification Language for Workflow Diagnostics",

author = "Roubtsova, \{Ella E.\}",

year = "2005",

month = may,

doi = "10.5220/0002516502970302",

language = "English",

isbn = "972-8865-19-8",

volume = "2",

pages = "297--302",

editor = "Chen, \{ Chin-Sheng \} and Filipe, \{ Joaquim \} and Seruca, \{Isabel \} and Cordeiro, \{Jos{\'e} \}",

booktitle = "Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 2: ICEIS",

publisher = "SCITEPRESS-Science and Technology Publications, Lda.",

address = "Portugal",

note = "Seventh International Conference on Enterprise Information Systems, ICEIS 2005 ; Conference date: 24-05-2005 Through 28-05-2005",

}

Roubtsova, EE 2005, A Property Specification Language for Workflow Diagnostics. in C-S Chen, J Filipe, I Seruca & J Cordeiro (eds), Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 2: ICEIS. vol. 2, SCITEPRESS-Science and Technology Publications, Lda., Setúbal, pp. 297-302, Seventh International Conference on Enterprise Information Systems, Miami, Florida, United States, 24/05/05. https://doi.org/10.5220/0002516502970302

A Property Specification Language for Workflow Diagnostics. / Roubtsova, Ella E.
Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 2: ICEIS. ed. / Chin-Sheng Chen; Joaquim Filipe; Isabel Seruca; José Cordeiro. Vol. 2 Setúbal: SCITEPRESS-Science and Technology Publications, Lda., 2005. p. 297-302.

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

TY - GEN

T1 - A Property Specification Language for Workflow Diagnostics

AU - Roubtsova, Ella E.

N1 - Conference code: 7

PY - 2005/5

Y1 - 2005/5

U2 - 10.5220/0002516502970302

DO - 10.5220/0002516502970302

M3 - Conference Article in proceeding

SN - 972-8865-19-8

VL - 2

SP - 297

EP - 302

BT - Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 2: ICEIS

A2 - Chen, Chin-Sheng

A2 - Filipe, Joaquim

A2 - Seruca, Isabel

A2 - Cordeiro, José

PB - SCITEPRESS-Science and Technology Publications, Lda.

CY - Setúbal

T2 - Seventh International Conference on Enterprise Information Systems

Y2 - 24 May 2005 through 28 May 2005

ER -