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


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

info visites 4125300