%0 Conference Paper %1 conf/sfm/TalcottNAK16 %A Talcott, Carolyn L. %A Nigam, Vivek %A Arbab, Farhad %A Kappé, Tobias %B SFM %D 2016 %E Bernardo, Marco %E Nicola, Rocco De %E Hillston, Jane %I Springer %K dblp %P 1-35 %T Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/sfm/sfm2016.html#TalcottNAK16 %V 9700 %@ 978-3-319-34095-1

@inproceedings{conf/sfm/TalcottNAK16, added-at = {2019-09-16T00:00:00.000+0200}, author = {Talcott, Carolyn L. and Nigam, Vivek and Arbab, Farhad and Kappé, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/2049508a47fab3777ef7477ce0153150d/dblp}, booktitle = {SFM}, crossref = {conf/sfm/2016}, editor = {Bernardo, Marco and Nicola, Rocco De and Hillston, Jane}, ee = {https://doi.org/10.1007/978-3-319-34096-8_1}, interhash = {4d37d4ad9f4e3cd2863f639f3c74a44c}, intrahash = {049508a47fab3777ef7477ce0153150d}, isbn = {978-3-319-34095-1}, keywords = {dblp}, pages = {1-35}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T13:17:00.000+0200}, title = {Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/sfm/sfm2016.html#TalcottNAK16}, volume = 9700, year = 2016 }