@inproceedings{liveness_2014,
  series = {LNCS},
  title = {Liveness Analysis for Parameterised Boolean Equation Systems},
  number = {8837},
  doi = {10.1007/978-3-319-11936-6_16},
  booktitle = {Automated Technology for Verification and Analysis (ATVA'14)},
  publisher = {Springer},
  author = {Keiren, J. J. A. and Wesselink, J. W. and Willemse, T. A. C.},
  year = {2014},
  pages = {219--234},
  addendum = {S}
}

{"_id":"4PMqPSXDkFSSEvbc3","bibbaseid":"keiren-wesselink-willemse-livenessanalysisforparameterisedbooleanequationsystems-2014","downloads":0,"creationDate":"2016-03-01T09:16:34.048Z","title":"Liveness Analysis for Parameterised Boolean Equation Systems","author_short":["Keiren, J. J. A.","Wesselink, J. W.","Willemse, T. A. C."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.jeroenkeiren.nl/publications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"LNCS","title":"Liveness Analysis for Parameterised Boolean Equation Systems","number":"8837","doi":"10.1007/978-3-319-11936-6_16","booktitle":"Automated Technology for Verification and Analysis (ATVA'14)","publisher":"Springer","author":[{"propositions":[],"lastnames":["Keiren"],"firstnames":["J.","J.","A."],"suffixes":[]},{"propositions":[],"lastnames":["Wesselink"],"firstnames":["J.","W."],"suffixes":[]},{"propositions":[],"lastnames":["Willemse"],"firstnames":["T.","A.","C."],"suffixes":[]}],"year":"2014","pages":"219--234","addendum":"S","bibtex":"@inproceedings{liveness_2014,\n series = {LNCS},\n title = {Liveness Analysis for Parameterised Boolean Equation Systems},\n number = {8837},\n doi = {10.1007/978-3-319-11936-6_16},\n booktitle = {Automated Technology for Verification and Analysis (ATVA'14)},\n publisher = {Springer},\n author = {Keiren, J. J. A. and Wesselink, J. W. and Willemse, T. A. C.},\n year = {2014},\n pages = {219--234},\n addendum = {S}\n}\n\n","author_short":["Keiren, J. J. A.","Wesselink, J. W.","Willemse, T. A. C."],"key":"liveness_2014","id":"liveness_2014","bibbaseid":"keiren-wesselink-willemse-livenessanalysisforparameterisedbooleanequationsystems-2014","role":"author","urls":{},"downloads":0},"search_terms":["liveness","analysis","parameterised","boolean","equation","systems","keiren","wesselink","willemse"],"keywords":[],"authorIDs":[],"dataSources":["K2qm3yztsCi4bCsrA"]}