vUML: A Tool for Verifying UML Models

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

Original language	Undefined/Unknown
Title of host publication	The 14th IEEE International Conference on Automated Software Engineering
Publisher	IEEE Computer Society
Pages	255–258
ISBN (Print)	0-7695-0415-9
DOIs	https://doi.org/10.1109/ASE.1999.802301
Publication status	Published - 1999
MoE publication type	A4 Article in a conference publication
Event	conference; 1999-10-12; 1999-10-15 - 14th IEEE International Conference on Automated Software Engineering Cocoa Beach, Florida Duration: 12 Oct 1999 → 15 Oct 1999

Conference	conference; 1999-10-12; 1999-10-15
Period	12/10/99 → 15/10/99

Access to Document

@inproceedings{16283fe2297b4a8f986a1ae1816c8c6c,

title = "vUML: A Tool for Verifying UML Models",

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

year = "1999",

doi = "10.1109/ASE.1999.802301",

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

isbn = "0-7695-0415-9",

pages = "255–258",

booktitle = "The 14th IEEE International Conference on Automated Software Engineering",

publisher = "IEEE Computer Society",

note = "conference; 1999-10-12; 1999-10-15 ; Conference date: 12-10-1999 Through 15-10-1999",

}

TY - GEN

T1 - vUML: A Tool for Verifying UML Models

AU - Lilius, Johan

AU - Porres Paltor, Ivan

PY - 1999

Y1 - 1999

U2 - 10.1109/ASE.1999.802301

DO - 10.1109/ASE.1999.802301

M3 - Konferensbidrag

SN - 0-7695-0415-9

SP - 255

EP - 258

BT - The 14th IEEE International Conference on Automated Software Engineering

PB - IEEE Computer Society

T2 - conference; 1999-10-12; 1999-10-15

Y2 - 12 October 1999 through 15 October 1999

ER -