Verimag

bibtex

@inproceedings{FCF14,
    title = { Efficient and Generalized Decentralized Monitoring of Regular Languages },
    author = {Falcone, Ylies and Cornebize, Tom and Fernandez, Jean-Claude},
    year = {2014},
    booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held as Part of the 9th International Federated Conference on Distribu},
    crossref = {DBLP:conf/forte/2014},
    pages = {66--83},
    team = {DCS},
    timestamp = {Wed, 21 May 2014 14:15:20 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/forte/FalconeCF14}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 896197