%0 Conference Paper %1 conf/birthday/Abadi08 %A Abadi, Martín %B Concurrency, Graphs and Models %D 2008 %E Degano, Pierpaolo %E Nicola, Rocco De %E Meseguer, José %I Springer %K dblp %P 510-526 %T Automatic Mutual Exclusion and Atomicity Checks. %U http://dblp.uni-trier.de/db/conf/birthday/montanari2008.html#Abadi08 %V 5065 %@ 978-3-540-68676-7

@inproceedings{conf/birthday/Abadi08, added-at = {2017-05-23T00:00:00.000+0200}, author = {Abadi, Martín}, biburl = {https://www.bibsonomy.org/bibtex/2dc5cdbe6876b3572133bc6752e4465de/dblp}, booktitle = {Concurrency, Graphs and Models}, crossref = {conf/birthday/2008montanari}, editor = {Degano, Pierpaolo and Nicola, Rocco De and Meseguer, José}, ee = {https://doi.org/10.1007/978-3-540-68679-8_32}, interhash = {c6c1aba9c061ae72c07f0fa2c00cb9bb}, intrahash = {dc5cdbe6876b3572133bc6752e4465de}, isbn = {978-3-540-68676-7}, keywords = {dblp}, pages = {510-526}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:38.000+0200}, title = {Automatic Mutual Exclusion and Atomicity Checks.}, url = {http://dblp.uni-trier.de/db/conf/birthday/montanari2008.html#Abadi08}, volume = 5065, year = 2008 }