Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}