Johan Lilius, Ivan Paltor. The Production Cell: An Exercise in the Formal Verification of a UML Model. In HICSS. 2000. [doi]
@inproceedings{LiliusP00, title = {The Production Cell: An Exercise in the Formal Verification of a UML Model}, author = {Johan Lilius and Ivan Paltor}, year = {2000}, url = {http://computer.org/proceedings/hicss/0493/04938/04938007abs.htm}, tags = {UML}, researchr = {https://researchr.org/publication/LiliusP00}, cites = {0}, citedby = {0}, booktitle = {HICSS}, }