@article{FijalkowGimbertKelmendiOualhadj15,
  author    = {Nathana{\"{e}}l Fijalkow and Hugo Gimbert and Edon Kelmendi and Youssouf Oualhadj},
  title     = {Deciding the value 1 Problem for Probabilistic Leaktight Automata},
  journal   = {Logical Methods in Computer Science},
  year      = {2015},
  volume    = {11},
  number    = {1},
  url       = {http://dx.doi.org/10.2168/LMCS-10(2:14)2014},
  doi       = {10.2168/LMCS-10(2:14)2014},
}

%%% 2014

{"_id":"vx22PLhHnNE6nA9vt","bibbaseid":"fijalkow-gimbert-kelmendi-oualhadj-decidingthevalue1problemforprobabilisticleaktightautomata-2015","downloads":0,"creationDate":"2017-11-28T18:01:09.128Z","title":"Deciding the value 1 Problem for Probabilistic Leaktight Automata","author_short":["Fijalkow, N.","Gimbert, H.","Kelmendi, E.","Oualhadj, Y."],"year":2015,"bibtype":"article","biburl":"https://nathanael-fijalkow.github.io/perso.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Nathanaël"],"propositions":[],"lastnames":["Fijalkow"],"suffixes":[]},{"firstnames":["Hugo"],"propositions":[],"lastnames":["Gimbert"],"suffixes":[]},{"firstnames":["Edon"],"propositions":[],"lastnames":["Kelmendi"],"suffixes":[]},{"firstnames":["Youssouf"],"propositions":[],"lastnames":["Oualhadj"],"suffixes":[]}],"title":"Deciding the value 1 Problem for Probabilistic Leaktight Automata","journal":"Logical Methods in Computer Science","year":"2015","volume":"11","number":"1","url":"http://dx.doi.org/10.2168/LMCS-10(2:14)2014","doi":"10.2168/LMCS-10(2:14)2014","bibtex":"@article{FijalkowGimbertKelmendiOualhadj15,\n author = {Nathana{\\\"{e}}l Fijalkow and Hugo Gimbert and Edon Kelmendi and Youssouf Oualhadj},\n title = {Deciding the value 1 Problem for Probabilistic Leaktight Automata},\n journal = {Logical Methods in Computer Science},\n year = {2015},\n volume = {11},\n number = {1},\n url = {http://dx.doi.org/10.2168/LMCS-10(2:14)2014},\n doi = {10.2168/LMCS-10(2:14)2014},\n}\n\n%%% 2014\n\n","author_short":["Fijalkow, N.","Gimbert, H.","Kelmendi, E.","Oualhadj, Y."],"key":"FijalkowGimbertKelmendiOualhadj15","id":"FijalkowGimbertKelmendiOualhadj15","bibbaseid":"fijalkow-gimbert-kelmendi-oualhadj-decidingthevalue1problemforprobabilisticleaktightautomata-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.2168/LMCS-10(2:14)2014"},"downloads":0,"html":""},"search_terms":["deciding","value","problem","probabilistic","leaktight","automata","fijalkow","gimbert","kelmendi","oualhadj"],"keywords":[],"authorIDs":["5a1da46565b42fc01800000f"],"dataSources":["BXc4gcZutK5ptXtTF"]}