Ivan Paltor Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2000
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan Lilius, Ivan Paltor: The Production Cell: An Exercise in the Formal Verification of a UML Model. HICSS 2000
1999
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan Lilius, Ivan Paltor: vUML: A Tool for Verifying UML Models. ASE 1999: 255-258
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Paltor, Johan Lilius: Formalising UML State Machines for Model Checking. UML 1999: 430-445
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Petre, Ralph-Johan Back, Ivan Paltor: Analysing UML Use Cases as Contracts. UML 1999: 518-533

Coauthor Index

1Ralph-Johan Back [1]
2Johan Lilius [2] [3] [4]
3Luigia Petre [1]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Tue Dec 1 12:01:14 2009 by Michael Ley (ley@uni-trier.de)