%0 Conference Paper %1 conf/csoc/CicirelliNS16 %A Cicirelli, Franco %A Nigro, Libero %A Sciammarella, Paolo F. %B CSOC (2) %D 2016 %E Silhavy, Radek %E Senkerik, Roman %E Oplatková, Zuzana Komínková %E Silhavy, Petr %E Prokopova, Zdenka %I Springer %K dblp %P 203-215 %T Model Checking Mutual Exclusion Algorithms Using Uppaal. %U http://dblp.uni-trier.de/db/conf/csoc/csoc2016-2.html#CicirelliNS16 %V 465 %@ 978-3-319-33620-6

@inproceedings{conf/csoc/CicirelliNS16, added-at = {2020-02-04T00:00:00.000+0100}, author = {Cicirelli, Franco and Nigro, Libero and Sciammarella, Paolo F.}, biburl = {https://www.bibsonomy.org/bibtex/2479eaf4113681d9488974898f0b90d4f/dblp}, booktitle = {CSOC (2)}, crossref = {conf/csoc/2016-2}, editor = {Silhavy, Radek and Senkerik, Roman and Oplatková, Zuzana Komínková and Silhavy, Petr and Prokopova, Zdenka}, ee = {https://doi.org/10.1007/978-3-319-33622-0_19}, interhash = {bcf1fc1e6b8cf8f0d1e78f7345d85e20}, intrahash = {479eaf4113681d9488974898f0b90d4f}, isbn = {978-3-319-33620-6}, keywords = {dblp}, pages = {203-215}, publisher = {Springer}, series = {Advances in Intelligent Systems and Computing}, timestamp = {2020-02-05T11:46:29.000+0100}, title = {Model Checking Mutual Exclusion Algorithms Using Uppaal.}, url = {http://dblp.uni-trier.de/db/conf/csoc/csoc2016-2.html#CicirelliNS16}, volume = 465, year = 2016 }