Parameter Synthesis by Parallel Coloured CTL Model Checking. Brim, L., Ceska, M., Demko, M., Pastva, S., & Safránek, D. In Roux, O. F. & Bourdon, J., editors, CMSB, volume 9308, of Lecture Notes in Computer Science, pages 251-263, 2015. Springer.
Parameter Synthesis by Parallel Coloured CTL Model Checking. [link]Link  Parameter Synthesis by Parallel Coloured CTL Model Checking. [link]Paper  bibtex   
@inproceedings{conf/cmsb/BrimCDPS15,
  author = {Brim, Lubos and Ceska, Milan and Demko, Martin and Pastva, Samuel and Safránek, David},
  booktitle = {CMSB},
  crossref = {conf/cmsb/2015},
  editor = {Roux, Olivier F. and Bourdon, Jérémie},
  ee = {http://dx.doi.org/10.1007/978-3-319-23401-4_21},
  interhash = {dfd0290dab42859e767f2e32ae97b7ae},
  intrahash = {f916530a8a655d224075f13be2493bad},
  isbn = {978-3-319-23400-7},
  pages = {251-263},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Parameter Synthesis by Parallel Coloured CTL Model Checking.},
  url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2015.html#BrimCDPS15},
  volume = 9308,
  year = 2015
}

Downloads: 0