%0 Conference Paper %1 conf/aplas/YasukataT016 %A Yasukata, Kazuhide %A Tsukada, Takeshi %A Kobayashi, Naoki %B APLAS %D 2016 %E Igarashi, Atsushi %K dblp %P 335-353 %T Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2016.html#YasukataT016 %V 10017 %@ 978-3-319-47957-6

@inproceedings{conf/aplas/YasukataT016, added-at = {2019-10-19T00:00:00.000+0200}, author = {Yasukata, Kazuhide and Tsukada, Takeshi and Kobayashi, Naoki}, biburl = {https://www.bibsonomy.org/bibtex/2761646bfcf9887eb3faa099dbacca9af/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2016}, editor = {Igarashi, Atsushi}, ee = {https://doi.org/10.1007/978-3-319-47958-3_18}, interhash = {bd1f669485e4097b7496da3a308c73e2}, intrahash = {761646bfcf9887eb3faa099dbacca9af}, isbn = {978-3-319-47957-6}, keywords = {dblp}, pages = {335-353}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:20:35.000+0200}, title = {Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2016.html#YasukataT016}, volume = 10017, year = 2016 }