%0 Conference Paper %1 conf/wia/DeganoFM13 %A Degano, Pierpaolo %A Ferrari, Gian-Luigi %A Mezzetti, Gianluca %B CIAA %D 2013 %E Konstantinidis, Stavros %I Springer %K dblp %P 109-121 %T Towards Nominal Context-Free Model-Checking. %U http://dblp.uni-trier.de/db/conf/wia/ciaa2013.html#DeganoFM13 %V 7982 %@ 978-3-642-39273-3

@inproceedings{conf/wia/DeganoFM13, added-at = {2023-06-23T00:00:00.000+0200}, author = {Degano, Pierpaolo and Ferrari, Gian-Luigi and Mezzetti, Gianluca}, biburl = {https://www.bibsonomy.org/bibtex/22afd76220ca03395b6aa3fd8ff303cd3/dblp}, booktitle = {CIAA}, crossref = {conf/wia/2013}, editor = {Konstantinidis, Stavros}, ee = {https://doi.org/10.1007/978-3-642-39274-0_11}, interhash = {2f7b31a3efe29e5320b38f9fb299db73}, intrahash = {2afd76220ca03395b6aa3fd8ff303cd3}, isbn = {978-3-642-39273-3}, keywords = {dblp}, pages = {109-121}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T10:24:33.000+0200}, title = {Towards Nominal Context-Free Model-Checking.}, url = {http://dblp.uni-trier.de/db/conf/wia/ciaa2013.html#DeganoFM13}, volume = 7982, year = 2013 }