%0 Conference Paper %1 conf/amcc/RastgoftarJA19 %A Rastgoftar, Hossein %A Jeannin, Jean-Baptiste %A Atkins, Ella M. %B ACC %D 2019 %I IEEE %K dblp %P 3358-3363 %T Formal Specification of Continuum Deformation Coordination. %U http://dblp.uni-trier.de/db/conf/amcc/acc2019.html#RastgoftarJA19 %@ 978-1-5386-7926-5

@inproceedings{conf/amcc/RastgoftarJA19, added-at = {2021-08-08T00:00:00.000+0200}, author = {Rastgoftar, Hossein and Jeannin, Jean-Baptiste and Atkins, Ella M.}, biburl = {https://www.bibsonomy.org/bibtex/2b1637540accf576fed5f813e1d440c58/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2019}, ee = {https://doi.org/10.23919/ACC.2019.8814645}, interhash = {926aeec62195b2edbd26fdeee745c2a9}, intrahash = {b1637540accf576fed5f813e1d440c58}, isbn = {978-1-5386-7926-5}, keywords = {dblp}, pages = {3358-3363}, publisher = {IEEE}, timestamp = {2024-04-09T13:39:17.000+0200}, title = {Formal Specification of Continuum Deformation Coordination.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2019.html#RastgoftarJA19}, year = 2019 }