LTLf2DFA. Fuggitti, F. March 2019. Code Website doi bibtex 15 downloads @software{fuggitti-ltlf2dfa,
author = {Francesco Fuggitti},
title = {LTLf2DFA},
month = {March},
year = {2019},
publisher = {Zenodo},
version = {1.0.0.post0},
doi = {10.5281/zenodo.3888410},
url_code = {https://github.com/whitemech/LTLf2DFA},
url_website = {http://ltlf2dfa.diag.uniroma1.it},
}
Downloads: 15
{"_id":"qGDSmpJjGXd3NrZ6L","bibbaseid":"fuggitti-ltlf2dfa-2019","author_short":["Fuggitti, F."],"bibdata":{"bibtype":"software","type":"software","author":[{"firstnames":["Francesco"],"propositions":[],"lastnames":["Fuggitti"],"suffixes":[]}],"title":"LTLf2DFA","month":"March","year":"2019","publisher":"Zenodo","version":"1.0.0.post0","doi":"10.5281/zenodo.3888410","url_code":"https://github.com/whitemech/LTLf2DFA","url_website":"http://ltlf2dfa.diag.uniroma1.it","bibtex":"@software{fuggitti-ltlf2dfa,\n author = {Francesco Fuggitti},\n title = {LTLf2DFA},\n month = {March},\n year = {2019},\n publisher = {Zenodo},\n version = {1.0.0.post0},\n doi = {10.5281/zenodo.3888410},\n url_code = {https://github.com/whitemech/LTLf2DFA},\n url_website = {http://ltlf2dfa.diag.uniroma1.it},\n}\n\n\n","author_short":["Fuggitti, F."],"key":"fuggitti-ltlf2dfa","id":"fuggitti-ltlf2dfa","bibbaseid":"fuggitti-ltlf2dfa-2019","role":"author","urls":{" code":"https://github.com/whitemech/LTLf2DFA"," website":"http://ltlf2dfa.diag.uniroma1.it"},"metadata":{"authorlinks":{}},"downloads":15},"bibtype":"software","biburl":"https://raw.githubusercontent.com/francescofuggitti/francescofuggitti.github.io/master/francesco.bib","dataSources":["2xXJTEfDtm97FDYLP","6Ba7L5Bz5Qx98EeHv"],"keywords":[],"search_terms":["ltlf2dfa","fuggitti"],"title":"LTLf2DFA","year":2019,"downloads":16}