bibtex

@inproceedings{MM7,
    title = {A Generic Algorithm for Learning Symbolic Automata from Membership Queries },
    author = {Maler, Oded and Mens, Irini{-}Eleftheria},
    year = {2017},
    booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday},
    pages = {146--169},
    team = {TEMPO},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4159446