%0 Journal Article %1 journals/iee/PetalidisG01 %A Petalidis, N. %A Gill, D. S. %D 2001 %J IEE Proc. Softw. %K dblp %N 1 %P 19-29 %T Introducing monitoring events to timed-CSP. %U http://dblp.uni-trier.de/db/journals/iee/iee-s148.html#PetalidisG01 %V 148

@article{journals/iee/PetalidisG01, added-at = {2020-05-19T00:00:00.000+0200}, author = {Petalidis, N. and Gill, D. S.}, biburl = {https://www.bibsonomy.org/bibtex/25952ee7a23841413eeef0f9b8dbfb76b/dblp}, ee = {https://doi.org/10.1049/ip-sen:20010244}, interhash = {3959c0fdb84b4fe91b6085aed66aac70}, intrahash = {5952ee7a23841413eeef0f9b8dbfb76b}, journal = {IEE Proc. Softw.}, keywords = {dblp}, number = 1, pages = {19-29}, timestamp = {2020-05-20T11:38:36.000+0200}, title = {Introducing monitoring events to timed-CSP.}, url = {http://dblp.uni-trier.de/db/journals/iee/iee-s148.html#PetalidisG01}, volume = 148, year = 2001 }