Verimag

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},
}

Sections de Publications


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

info visites 873821