bibtex

@inproceedings{JB06,
    title = {Optimizations for LTL Synthesis },
    author = {Jobstmann, Barbara and Bloem, Roderick},
    year = {2006},
    booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
    pages = {117-124},
    publisher = {IEEE Computer Society},
    team = {DCS},
}


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

info visites 3900013