%0 Conference Paper %1 conf/vmcai/LuCC019 %A Lu, Tianhan %A Cerný, Pavol %A Chang, Bor-Yuh Evan %A Trivedi, Ashutosh %B VMCAI %D 2019 %E Enea, Constantin %E Piskac, Ruzica %I Springer %K dblp %P 275-296 %T Type-Directed Bounding of Collections in Reactive Programs. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2019.html#LuCC019 %V 11388 %@ 978-3-030-11245-5

@inproceedings{conf/vmcai/LuCC019, added-at = {2019-01-14T00:00:00.000+0100}, author = {Lu, Tianhan and Cerný, Pavol and Chang, Bor-Yuh Evan and Trivedi, Ashutosh}, biburl = {https://www.bibsonomy.org/bibtex/2c160b4ec2afcedf0394832c999c464a9/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2019}, editor = {Enea, Constantin and Piskac, Ruzica}, ee = {https://doi.org/10.1007/978-3-030-11245-5_13}, interhash = {8fb4dd7f77ffdb5ba7fc840cc3aa1059}, intrahash = {c160b4ec2afcedf0394832c999c464a9}, isbn = {978-3-030-11245-5}, keywords = {dblp}, pages = {275-296}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:16:49.000+0200}, title = {Type-Directed Bounding of Collections in Reactive Programs.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2019.html#LuCC019}, volume = 11388, year = 2019 }