%0 Journal Article %1 journals/jlp/BengtssonGKLLPY02 %A Bengtsson, Johan %A Griffioen, W. O. David %A Kristoffersen, Kåre J. %A Larsen, Kim Guldstrand %A Larsson, Fredrik %A Pettersson, Paul %A Yi, Wang %D 2002 %J J. Log. Algebraic Methods Program. %K dblp %P 163-181 %T Automated verification of an audio-control protocol using UPPAAL. %U http://dblp.uni-trier.de/db/journals/jlp/jlp52.html#BengtssonGKLLPY02 %V 52-53

@article{journals/jlp/BengtssonGKLLPY02, added-at = {2021-02-16T00:00:00.000+0100}, author = {Bengtsson, Johan and Griffioen, W. O. David and Kristoffersen, Kåre J. and Larsen, Kim Guldstrand and Larsson, Fredrik and Pettersson, Paul and Yi, Wang}, biburl = {https://www.bibsonomy.org/bibtex/26177db688f13141a4cb2b559cee69989/dblp}, ee = {https://doi.org/10.1016/S1567-8326(02)00036-X}, interhash = {568687ac64461aabc9ca8a9f508a1382}, intrahash = {6177db688f13141a4cb2b559cee69989}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = {163-181}, timestamp = {2024-04-08T10:50:21.000+0200}, title = {Automated verification of an audio-control protocol using UPPAAL.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp52.html#BengtssonGKLLPY02}, volume = {52-53}, year = 2002 }