Checking Compositions of UML Sequence Diagrams for Timing Inconsistency

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of 7th Asia Pacific Software Engineering Conference
Publisher	IEEE Computer Society
Pages	154–161
Publication status	Published - 2000
MoE publication type	A4 Article in a conference publication
Event	conference; 2000-12-05; 2000-12-08 - 7th Asia Pacific Software Engineering Conference (APSEC 2000) Duration: 5 Dec 2000 → 8 Dec 2000

Conference	conference; 2000-12-05; 2000-12-08
Period	05/12/00 → 08/12/00

Cite this

@inproceedings{c6a156ec2cba4126a84f5c1fac179736,

title = "Checking Compositions of UML Sequence Diagrams for Timing Inconsistency",

author = "Li Xuoandong and Johan Lilius",

year = "2000",

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

pages = "154–161",

booktitle = "Proceedings of 7th Asia Pacific Software Engineering Conference",

publisher = "IEEE Computer Society",

note = "conference; 2000-12-05; 2000-12-08 ; Conference date: 05-12-2000 Through 08-12-2000",

}

TY - GEN

T1 - Checking Compositions of UML Sequence Diagrams for Timing Inconsistency

AU - Xuoandong, Li

AU - Lilius, Johan

PY - 2000

Y1 - 2000

M3 - Publicerad konferensartikel

SP - 154

EP - 161

BT - Proceedings of 7th Asia Pacific Software Engineering Conference

PB - IEEE Computer Society

T2 - conference; 2000-12-05; 2000-12-08

Y2 - 5 December 2000 through 8 December 2000

ER -