%0 Conference Paper %1 journals/entcs/Pandya02 %A Pandya, Paritosh K. %B SLAP@ETAPS %D 2002 %E Maraninchi, Florence %E Girault, Alain %E Rutten, Éric %I Elsevier %K dblp %N 5 %P 110-124 %T The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs. %U http://dblp.uni-trier.de/db/conf/etaps/slap2002.html#Pandya02 %V 65

@inproceedings{journals/entcs/Pandya02, added-at = {2022-12-05T00:00:00.000+0100}, author = {Pandya, Paritosh K.}, biburl = {https://www.bibsonomy.org/bibtex/2bbb3c70198ec14bb4e9e5280bce24400/dblp}, booktitle = {SLAP@ETAPS}, crossref = {conf/etaps/2002slap}, editor = {Maraninchi, Florence and Girault, Alain and Rutten, Éric}, ee = {https://doi.org/10.1016/S1571-0661(05)80445-1}, interhash = {150244a5e97c46100a1fb024361dd998}, intrahash = {bbb3c70198ec14bb4e9e5280bce24400}, keywords = {dblp}, number = 5, pages = {110-124}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T00:00:25.000+0200}, title = {The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs.}, url = {http://dblp.uni-trier.de/db/conf/etaps/slap2002.html#Pandya02}, volume = 65, year = 2002 }