%0 Conference Paper %1 conf/tgc/CianciaS14 %A Ciancia, Vincenzo %A Sammartino, Matteo %B TGC %D 2014 %E Maffei, Matteo %E Tuosto, Emilio %I Springer %K dblp %P 97-111 %T A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours. %U http://dblp.uni-trier.de/db/conf/tgc/tgc2014.html#CianciaS14 %V 8902 %@ 978-3-662-45916-4

@inproceedings{conf/tgc/CianciaS14, added-at = {2017-06-05T00:00:00.000+0200}, author = {Ciancia, Vincenzo and Sammartino, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/221297df1ae8444bf096f4b348dda15dc/dblp}, booktitle = {TGC}, crossref = {conf/tgc/2014}, editor = {Maffei, Matteo and Tuosto, Emilio}, ee = {https://doi.org/10.1007/978-3-662-45917-1_7}, interhash = {39102a7a21b3c75c5da66bbc04081450}, intrahash = {21297df1ae8444bf096f4b348dda15dc}, isbn = {978-3-662-45916-4}, keywords = {dblp}, pages = {97-111}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:18:39.000+0200}, title = {A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours.}, url = {http://dblp.uni-trier.de/db/conf/tgc/tgc2014.html#CianciaS14}, volume = 8902, year = 2014 }