Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang. Temporal Feasibility Verification of Specification PEARL Designs. In 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria. pages 249-252, IEEE Computer Society, 2004. [doi]
@inproceedings{GumzejCH04,
title = {Temporal Feasibility Verification of Specification PEARL Designs},
author = {Roman Gumzej and Matjaz Colnaric and Wolfgang A. Halang},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/isorc/2004/2124/00/21240249abs.htm},
researchr = {https://researchr.org/publication/GumzejCH04},
cites = {0},
citedby = {0},
pages = {249-252},
booktitle = {7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria},
publisher = {IEEE Computer Society},
isbn = {0-7695-2124-X},
}