@inproceedings{ed460364308041af9bc6ddd67e2ec6f4,
title = "The Production Cell: An Exercise in the Formal Verification of a UML Model",
author = "Johan Lilius and {Porres Paltor}, Ivan",
year = "2000",
language = "Odefinierat/ok{\"a}nt",
isbn = "978-0769504933",
pages = "–",
editor = "Sprague, {Ralph H.}",
booktitle = "Proceedings of the Thirty-Third Annual Hawaii International Conference on System Sciences",
publisher = "IEEE Computer Society",
note = "conference; 2000-01-04; 2000-01-07 ; Conference date: 04-01-2000 Through 07-01-2000",
}