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 2020-02-06 at 05:59