@inproceedings{FijalkowSkrzypczak15,
  author    = {Nathana{\"{e}}l Fijalkow and
	       Micha{\l} Skrzypczak},
  title     = {Irregular Behaviours for Probabilistic Automata},
  booktitle = {RP},
  year      = {2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-24537-9_4},
  doi       = {10.1007/978-3-319-24537-9_4},
}

{"_id":"yZqzBT7JTzR9yvxcN","bibbaseid":"fijalkow-skrzypczak-irregularbehavioursforprobabilisticautomata-2015","downloads":0,"creationDate":"2017-11-28T18:01:09.127Z","title":"Irregular Behaviours for Probabilistic Automata","author_short":["Fijalkow, N.","Skrzypczak, M."],"year":2015,"bibtype":"inproceedings","biburl":"https://nathanael-fijalkow.github.io/perso.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Nathanaël"],"propositions":[],"lastnames":["Fijalkow"],"suffixes":[]},{"firstnames":["Micha\\l"],"propositions":[],"lastnames":["Skrzypczak"],"suffixes":[]}],"title":"Irregular Behaviours for Probabilistic Automata","booktitle":"RP","year":"2015","url":"http://dx.doi.org/10.1007/978-3-319-24537-9_4","doi":"10.1007/978-3-319-24537-9_4","bibtex":"@inproceedings{FijalkowSkrzypczak15,\n author = {Nathana{\\\"{e}}l Fijalkow and\n\t Micha{\\l} Skrzypczak},\n title = {Irregular Behaviours for Probabilistic Automata},\n booktitle = {RP},\n year = {2015},\n url = {http://dx.doi.org/10.1007/978-3-319-24537-9_4},\n doi = {10.1007/978-3-319-24537-9_4},\n}\n\n","author_short":["Fijalkow, N.","Skrzypczak, M."],"key":"FijalkowSkrzypczak15","id":"FijalkowSkrzypczak15","bibbaseid":"fijalkow-skrzypczak-irregularbehavioursforprobabilisticautomata-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-24537-9_4"},"downloads":0,"html":""},"search_terms":["irregular","behaviours","probabilistic","automata","fijalkow","skrzypczak"],"keywords":[],"authorIDs":["5a1da46565b42fc01800000f"],"dataSources":["BXc4gcZutK5ptXtTF"]}