Verimag

bibtex

@inproceedings{BLS00,
    title = {Verifying Universal Properties of Parameterized Networks },
    author = {Baukus, Kai and Lakhnech, Yassine and Stahl, Karsten},
    year = {2000},
    booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems},
    pages = {291--304},
    publisher = {springer},
    series = {LNCS},
    volume = {1926},
    team = {DCS},
}

Publication Sections


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

Logged in visitors: 9 ; visits: 394010