Ivan Porres Paltor |
 |
- Ivan Porres Paltor, Johan Lilius: vUML: A Tool for Verifying UML Models, Automated Software Engineering, ASE'99, 14th IEEE International Conference, 1999, (BibTeX entry).
- Johan Lilius, Ivan Porres Paltor: Formalising UML State Machines for Model Checking, Second International Conference on the Unified Modeling Language: UML'99, 1999, (BibTeX entry).
- Ralph-Johan Back, Luigia Petre, Ivan Porres Paltor: Analysing UML Use Cases as Contracts, Second International Conference on the Unified Modeling Language: UML'99, 1999, (BibTeX entry).
Search other Bibliographies
- dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)
[Home
| Search Author
| Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.