bibtex

@inproceedings{DCB+6,
    title = { Local Planning of Multiparty Interactions with Bounded Horizons },
    author = {Dellabani, Mahieddine and Combaz, Jacques and Bozga, Marius and Bensalem, Saddek},
    year = {2016},
    booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings},
    pages = {199--216},
    team = {DCS, RSD},
}

URL


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

info visites 4155697