Author: Ivan Paltor

Publications

Publication period start: 2000
Publication period end: 2000
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
Johan Lilius
1

Productive Colleagues

Most productive colleagues in number of publications
Johan Lilius
2

Publications

Lilius, Johan, Paltor, Ivan (2000): The Production Cell: An Exercise in the Formal Verification of a UML Model. In: HICSS 2000 , 2000, . https://csdl.computer.org/comp/proceedings/hicss/2000/0493/08/04938007abs.htm