On Combining Partial Order Reduction with Fairness Assumptions. Brim, L., Cerná, I., Moravec, P., & Simsa, J. In Brim, L., Haverkort, B. R., Leucker, M., & van de Pol, J., editors, FMICS/PDMC, volume 4346, of Lecture Notes in Computer Science, pages 84-99, 2006. Springer. Link Paper bibtex @inproceedings{conf/fmics/BrimCMS06,
author = {Brim, Lubos and Cerná, Ivana and Moravec, Pavel and Simsa, Jirí},
booktitle = {FMICS/PDMC},
crossref = {conf/fmics/2006},
date = {2007-10-01},
editor = {Brim, Lubos and Haverkort, Boudewijn R. and Leucker, Martin and van de Pol, Jaco},
ee = {http://dx.doi.org/10.1007/978-3-540-70952-7_6},
interhash = {4bfa8429dfd28c2c50ef8798971a31c1},
intrahash = {e6e52bcd0b6e62c9b11008ebcbc0cd8b},
isbn = {978-3-540-70951-0},
pages = {84-99},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {On Combining Partial Order Reduction with Fairness Assumptions.},
url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2006.html#BrimCMS06},
volume = 4346,
year = 2006
}
Downloads: 0
{"_id":"76au2GCbHEgiHXntP","bibbaseid":"brim-cern-moravec-simsa-oncombiningpartialorderreductionwithfairnessassumptions-2006","downloads":0,"creationDate":"2017-04-26T09:41:24.175Z","title":"On Combining Partial Order Reduction with Fairness Assumptions.","author_short":["Brim, L.","Cerná, I.","Moravec, P.","Simsa, J."],"year":2006,"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":["Cerná"],"firstnames":["Ivana"],"suffixes":[]},{"propositions":[],"lastnames":["Moravec"],"firstnames":["Pavel"],"suffixes":[]},{"propositions":[],"lastnames":["Simsa"],"firstnames":["Jirí"],"suffixes":[]}],"booktitle":"FMICS/PDMC","crossref":"conf/fmics/2006","date":"2007-10-01","editor":[{"propositions":[],"lastnames":["Brim"],"firstnames":["Lubos"],"suffixes":[]},{"propositions":[],"lastnames":["Haverkort"],"firstnames":["Boudewijn","R."],"suffixes":[]},{"propositions":[],"lastnames":["Leucker"],"firstnames":["Martin"],"suffixes":[]},{"propositions":["van","de"],"lastnames":["Pol"],"firstnames":["Jaco"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-540-70952-7_6","interhash":"4bfa8429dfd28c2c50ef8798971a31c1","intrahash":"e6e52bcd0b6e62c9b11008ebcbc0cd8b","isbn":"978-3-540-70951-0","pages":"84-99","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"On Combining Partial Order Reduction with Fairness Assumptions.","url":"http://dblp.uni-trier.de/db/conf/fmics/fmics2006.html#BrimCMS06","volume":"4346","year":"2006","bibtex":"@inproceedings{conf/fmics/BrimCMS06,\n author = {Brim, Lubos and Cerná, Ivana and Moravec, Pavel and Simsa, Jirí},\n booktitle = {FMICS/PDMC},\n crossref = {conf/fmics/2006},\n date = {2007-10-01},\n editor = {Brim, Lubos and Haverkort, Boudewijn R. and Leucker, Martin and van de Pol, Jaco},\n ee = {http://dx.doi.org/10.1007/978-3-540-70952-7_6},\n interhash = {4bfa8429dfd28c2c50ef8798971a31c1},\n intrahash = {e6e52bcd0b6e62c9b11008ebcbc0cd8b},\n isbn = {978-3-540-70951-0},\n pages = {84-99},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {On Combining Partial Order Reduction with Fairness Assumptions.},\n url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2006.html#BrimCMS06},\n volume = 4346,\n year = 2006\n}\n\n","author_short":["Brim, L.","Cerná, I.","Moravec, P.","Simsa, J."],"editor_short":["Brim, L.","Haverkort, B. R.","Leucker, M.","van de Pol, J."],"key":"conf/fmics/BrimCMS06","id":"conf/fmics/BrimCMS06","bibbaseid":"brim-cern-moravec-simsa-oncombiningpartialorderreductionwithfairnessassumptions-2006","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-540-70952-7_6","Paper":"http://dblp.uni-trier.de/db/conf/fmics/fmics2006.html#BrimCMS06"},"downloads":0},"search_terms":["combining","partial","order","reduction","fairness","assumptions","brim","cerná","moravec","simsa"],"keywords":[],"authorIDs":[],"dataSources":["p3eYfeCrFbWKtvZc8"]}