{"_id":"NWFbJCEJvzxYgcfBi","bibbaseid":"anonymous-effectiverecognizabilityandmodelcheckingofreactivefiffoautomata-1998","downloads":0,"creationDate":"2015-12-22T04:31:52.801Z","title":"Effective Recognizability and Model Checking of Reactive FIFFO Automata","author_short":null,"year":1998,"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/mabib.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Grégoire"],"propositions":[],"lastnames":["Sutre"],"suffixes":[]},{"firstnames":["Alain"],"propositions":[],"lastnames":["Finkel"],"suffixes":[]},{"firstnames":["Olivier"],"propositions":[],"lastnames":["Roux"],"suffixes":[]},{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]}],"title":"Effective Recognizability and Model Checking of Reactive FIFFO Automata","booktitle":"AMAST","year":"1998","pages":"106-123","url_paper":"mypdfs/amast-98.pdf","key":"amast-98","id":"amast-98","bibbaseid":"anonymous-effectiverecognizabilityandmodelcheckingofreactivefiffoautomata-1998","role":"author","urls":{" paper":"http://science.mq.edu.au/~fcassez/bib/mypdfs/amast-98.pdf"},"metadata":{"authorlinks":{}},"html":""},"search_terms":["effective","recognizability","model","checking","reactive","fiffo","automata"],"keywords":[],"authorIDs":[],"dataSources":["yYF8uwWqay28JyxZC"]}