Formalising UML State Machines for Model Checking

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

126 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	UML'99 The Unified Modeling Language
Publisher	Springer
Pages	430–445
ISBN (Electronic)	978-3-540-46852-3
ISBN (Print)	978-3-540-66712-4
DOIs	https://doi.org/10.1007/3-540-46852-8_31
Publication status	Published - 1999
MoE publication type	A4 Article in a conference publication
Event	conference; 1999-10-28; 1999-10-30 - The Unified Modeling Language Beyond the Standard (UML'99) Duration: 28 Oct 1999 → 30 Oct 1999

Conference	conference; 1999-10-28; 1999-10-30
Period	28/10/99 → 30/10/99

Access to Document

@inproceedings{f36814f393b54f40bf911fa0f6a2ac50,

title = "Formalising UML State Machines for Model Checking",

author = "Johan Lilius and \{Porres Paltor\}, Ivan",

year = "1999",

doi = "10.1007/3-540-46852-8\_31",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-540-66712-4",

pages = "430–445",

booktitle = "UML'99 The Unified Modeling Language",

publisher = "Springer",

note = "conference; 1999-10-28; 1999-10-30 ; Conference date: 28-10-1999 Through 30-10-1999",

}

TY - GEN

T1 - Formalising UML State Machines for Model Checking

AU - Lilius, Johan

AU - Porres Paltor, Ivan

PY - 1999

Y1 - 1999

U2 - 10.1007/3-540-46852-8_31

DO - 10.1007/3-540-46852-8_31

M3 - Publicerad konferensartikel

SN - 978-3-540-66712-4

SP - 430

EP - 445

BT - UML'99 The Unified Modeling Language

PB - Springer

T2 - conference; 1999-10-28; 1999-10-30

Y2 - 28 October 1999 through 30 October 1999

ER -