Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau. Dynamic Tasks Verification with Quasar. In Tullio Vardanega, Andy J. Wellings, editors, Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings. Volume 3555 of Lecture Notes in Computer Science, pages 91-104, Springer, 2005. [doi]
@inproceedings{EvangelistaKPPR05,
title = {Dynamic Tasks Verification with Quasar},
author = {Sami Evangelista and Claude Kaiser and Christophe Pajault and Jean-François Pradat-Peyre and Pierre Rousseau},
year = {2005},
doi = {10.1007/11499909_8},
url = {http://dx.doi.org/10.1007/11499909_8},
researchr = {https://researchr.org/publication/EvangelistaKPPR05},
cites = {0},
citedby = {0},
pages = {91-104},
booktitle = {Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings},
editor = {Tullio Vardanega and Andy J. Wellings},
volume = {3555},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-26286-5},
}