bibtex

@inproceedings{MH96a,
    title = { Compiling {ARGOS} into Boolean equations },
    author = {Maraninchi, Florence and Halbwachs, Nicolas},
    month = {sep},
    year = {1996},
    booktitle = {Formal Techniques for Real-Time and Fault Tolerance (FTRTFT)},
    address = {Uppsala (Sweden)},
    publisher = {Springer verlag, {LNCS} 1135},
    team = {SYNC},
}

URL


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

info visites 4095731