%0 Conference Paper %1 conf/birthday/Panangaden16 %A Panangaden, Prakash %B Theory and Practice of Formal Methods %D 2016 %E Ábrahám, Erika %E Bonsangue, Marcello M. %E Johnsen, Einar Broch %I Springer %K dblp %P 6-8 %T Fond (and Frank) Memories of Frank. %U http://dblp.uni-trier.de/db/conf/birthday/deboer2016.html#Panangaden16 %V 9660 %@ 978-3-319-30733-6

@inproceedings{conf/birthday/Panangaden16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Panangaden, Prakash}, biburl = {https://www.bibsonomy.org/bibtex/2ee9b5954041fce531b571571f972374d/dblp}, booktitle = {Theory and Practice of Formal Methods}, crossref = {conf/birthday/2016deboer}, editor = {Ábrahám, Erika and Bonsangue, Marcello M. and Johnsen, Einar Broch}, ee = {https://doi.org/10.1007/978-3-319-30734-3_2}, interhash = {f0e3eac9ab4659c32756dcb10af78993}, intrahash = {ee9b5954041fce531b571571f972374d}, isbn = {978-3-319-30733-6}, keywords = {dblp}, pages = {6-8}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:23:57.000+0200}, title = {Fond (and Frank) Memories of Frank.}, url = {http://dblp.uni-trier.de/db/conf/birthday/deboer2016.html#Panangaden16}, volume = 9660, year = 2016 }