BibTeX records: Ivan Paltor

download as .bib file

@inproceedings{DBLP:conf/hicss/LiliusP00,
  author    = {Johan Lilius and
               Ivan Paltor},
  title     = {The Production Cell: An Exercise in the Formal Verification of a {UML}
               Model},
  booktitle = {{HICSS}},
  publisher = {{IEEE} Computer Society},
  year      = {2000}
}
@inproceedings{DBLP:conf/kbse/LiliusP99,
  author    = {Johan Lilius and
               Ivan Paltor},
  title     = {vUML: {A} Tool for Verifying {UML} Models},
  booktitle = {{ASE}},
  pages     = {255--258},
  publisher = {{IEEE} Computer Society},
  year      = {1999}
}
@inproceedings{DBLP:conf/uml/PaltorL99,
  author    = {Ivan Paltor and
               Johan Lilius},
  title     = {Formalising {UML} State Machines for Model Checking},
  booktitle = {{UML}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1723},
  pages     = {430--445},
  publisher = {Springer},
  year      = {1999}
}
@inproceedings{DBLP:conf/uml/PetreBP99,
  author    = {Luigia Petre and
               Ralph{-}Johan Back and
               Ivan Paltor},
  title     = {Analysing {UML} Use Cases as Contracts},
  booktitle = {{UML}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1723},
  pages     = {518--533},
  publisher = {Springer},
  year      = {1999}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics