@inproceedings{amast-98,
  author    = {Sutre, Grégoire  and
                Finkel, Alain and
                Roux, {Olivier F.} and
                Cassez, Franck},
  title     = {Effective Recognizability and Model Checking of Reactive
               {FIFFO} Automata},
  booktitle = {Algebraic Methodology and Software Technology, 7th International
               Conference, AMAST '98},
  year      = {1998},
  pages     = {106-123},
  ee        = {http://dx.doi.org/10.1007/3-540-49253-4_10},
  crossref  = {DBLP:conf/amast/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  Type = {B - International Conferences},

}

{"_id":"5RMz67c2v2eqcjE4c","bibbaseid":"sutre-finkel-roux-cassez-effectiverecognizabilityandmodelcheckingofreactivefiffoautomata-1998","author_short":["Sutre, G.","Finkel, A.","Roux, O.","Cassez, F."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"propositions":[],"lastnames":["Sutre"],"firstnames":["Grégoire"],"suffixes":[]},{"propositions":[],"lastnames":["Finkel"],"firstnames":["Alain"],"suffixes":[]},{"propositions":[],"lastnames":["Roux"],"firstnames":["Olivier F."],"suffixes":[]},{"propositions":[],"lastnames":["Cassez"],"firstnames":["Franck"],"suffixes":[]}],"title":"Effective Recognizability and Model Checking of Reactive FIFFO Automata","booktitle":"Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98","year":"1998","pages":"106-123","ee":"http://dx.doi.org/10.1007/3-540-49253-4_10","crossref":"DBLP:conf/amast/1998","bibsource":"DBLP, http://dblp.uni-trier.de","bibtex":"@inproceedings{amast-98,\n author = {Sutre, Grégoire and\n Finkel, Alain and\n Roux, {Olivier F.} and\n Cassez, Franck},\n title = {Effective Recognizability and Model Checking of Reactive\n {FIFFO} Automata},\n booktitle = {Algebraic Methodology and Software Technology, 7th International\n Conference, AMAST '98},\n year = {1998},\n pages = {106-123},\n ee = {http://dx.doi.org/10.1007/3-540-49253-4_10},\n crossref = {DBLP:conf/amast/1998},\n bibsource = {DBLP, http://dblp.uni-trier.de},\n Type = {B - International Conferences},\n\n}\n","author_short":["Sutre, G.","Finkel, A.","Roux, O.","Cassez, F."],"key":"amast-98","id":"amast-98","bibbaseid":"sutre-finkel-roux-cassez-effectiverecognizabilityandmodelcheckingofreactivefiffoautomata-1998","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/3-540-49253-4_10"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F"],"keywords":[],"search_terms":["effective","recognizability","model","checking","reactive","fiffo","automata","sutre","finkel","roux","cassez"],"title":"Effective Recognizability and Model Checking of Reactive FIFFO Automata","year":1998}