Verimag

bibtex

@inproceedings{ACT06,
    title = {Monitoring and Fault Diagnosis with Digital Clocks },
    author = {Altisen, Karine and Cassez, Franck and Tripakis, Stavros},
    month = {June},
    year = {2006},
    booktitle = {Application of Concurrency to System Design (ACSD'06)},
    address = {Turku, Finland},
    team = {SYNC},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 11 ; visits: 461589