%0 Conference Paper %1 conf/prdc/AsplundLV17 %A Asplund, Mikael %A Lovhall, Jakob %A Villani, Emília %B PRDC %D 2017 %E Kim, Dong Seong %E Kitakami, Masato %E Varadharajan, Vijay %I IEEE Computer Society %K %P 321-328 %T Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination. %U http://dblp.uni-trier.de/db/conf/prdc/prdc2017.html#AsplundLV17 %@ 978-1-5090-5652-1

@inproceedings{conf/prdc/AsplundLV17, added-at = {2023-12-13T05:53:41.000+0100}, author = {Asplund, Mikael and Lovhall, Jakob and Villani, Emília}, biburl = {https://www.bibsonomy.org/bibtex/2240c0edecb916e1da4bdba15dcca893c/admin}, booktitle = {PRDC}, crossref = {conf/prdc/2017}, editor = {Kim, Dong Seong and Kitakami, Masato and Varadharajan, Vijay}, ee = {http://doi.ieeecomputersociety.org/10.1109/PRDC.2017.57}, interhash = {a7d30a3eefc845434b194fb23f07ebd9}, intrahash = {240c0edecb916e1da4bdba15dcca893c}, isbn = {978-1-5090-5652-1}, keywords = {}, pages = {321-328}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T05:53:41.000+0100}, title = {Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination.}, url = {http://dblp.uni-trier.de/db/conf/prdc/prdc2017.html#AsplundLV17}, year = 2017 }