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.
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
{"_id":"ePRFvCL6CSjqXXK2r","bibbaseid":"brim-ceska-demko-pastva-safrnek-parametersynthesisbyparallelcolouredctlmodelchecking-2015","downloads":0,"creationDate":"2017-04-26T09:41:24.023Z","title":"Parameter Synthesis by Parallel Coloured CTL Model Checking.","author_short":["Brim, L.","Ceska, M.","Demko, M.","Pastva, S.","Safránek, D."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Lubos Brim?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Brim"],"firstnames":["Lubos"],"suffixes":[]},{"propositions":[],"lastnames":["Ceska"],"firstnames":["Milan"],"suffixes":[]},{"propositions":[],"lastnames":["Demko"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Pastva"],"firstnames":["Samuel"],"suffixes":[]},{"propositions":[],"lastnames":["Safránek"],"firstnames":["David"],"suffixes":[]}],"booktitle":"CMSB","crossref":"conf/cmsb/2015","editor":[{"propositions":[],"lastnames":["Roux"],"firstnames":["Olivier","F."],"suffixes":[]},{"propositions":[],"lastnames":["Bourdon"],"firstnames":["Jérémie"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/cmsb/BrimCDPS15,\n author = {Brim, Lubos and Ceska, Milan and Demko, Martin and Pastva, Samuel and Safránek, David},\n booktitle = {CMSB},\n crossref = {conf/cmsb/2015},\n editor = {Roux, Olivier F. and Bourdon, Jérémie},\n ee = {http://dx.doi.org/10.1007/978-3-319-23401-4_21},\n interhash = {dfd0290dab42859e767f2e32ae97b7ae},\n intrahash = {f916530a8a655d224075f13be2493bad},\n isbn = {978-3-319-23400-7},\n pages = {251-263},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Parameter Synthesis by Parallel Coloured CTL Model Checking.},\n url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2015.html#BrimCDPS15},\n volume = 9308,\n year = 2015\n}\n\n","author_short":["Brim, L.","Ceska, M.","Demko, M.","Pastva, S.","Safránek, D."],"editor_short":["Roux, O. F.","Bourdon, J."],"key":"conf/cmsb/BrimCDPS15","id":"conf/cmsb/BrimCDPS15","bibbaseid":"brim-ceska-demko-pastva-safrnek-parametersynthesisbyparallelcolouredctlmodelchecking-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-319-23401-4_21","Paper":"http://dblp.uni-trier.de/db/conf/cmsb/cmsb2015.html#BrimCDPS15"},"downloads":0},"search_terms":["parameter","synthesis","parallel","coloured","ctl","model","checking","brim","ceska","demko","pastva","safránek"],"keywords":[],"authorIDs":[],"dataSources":["p3eYfeCrFbWKtvZc8"]}