Formalising UML State Machines for Model Checking

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Johan Lilius, Iván Porres Paltor
Publisher: Springer
Publication year: 1999
Publisher: Springer
Book title: UML'99 The Unified Modeling Language
Title of series: Lecture Notes in Computer Science
Number in series: 1723
Start page: 430
End page: 445
ISBN: 978-3-540-66712-4
eISBN: 978-3-540-46852-3
ISSN: 0302-9743

Last updated on 2019-23-10 at 02:39