BibTeX record conf/sfm/TalcottNAK16

download as .bib file

@inproceedings{DBLP:conf/sfm/TalcottNAK16,
  author    = {Carolyn L. Talcott and
               Vivek Nigam and
               Farhad Arbab and
               Tobias Kapp{\'{e}}},
  title     = {Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical
               Systems},
  booktitle = {{SFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9700},
  pages     = {1--35},
  publisher = {Springer},
  year      = {2016}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics