Author: Ivan Paltor
Publication Overview
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