Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt. Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. In 30th EUROMICRO Conference 2004, 31 August - 3 September 2004, Rennes, France. pages 100-106, IEEE Computer Society, 2004. [doi]
@inproceedings{JayaputeraPS04,
title = {Runtime Verification of Timing and Probabilistic Properties using WMI and .NET},
author = {Jane Jayaputera and Iman Poernomo and Heinz W. Schmidt},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/euromicro/2004/2199/00/21990100abs.htm},
researchr = {https://researchr.org/publication/JayaputeraPS04},
cites = {0},
citedby = {0},
pages = {100-106},
booktitle = {30th EUROMICRO Conference 2004, 31 August - 3 September 2004, Rennes, France},
publisher = {IEEE Computer Society},
isbn = {0-7695-2199-1},
}