Author: Ivan Paltor
Publications
Publication period start: 2000
Number of co-authors: 1
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
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