bibtex

@inproceedings{BBL+00a,
    title = {{Abstracting WS1S Systems to Verify Parameterized Networks} },
    author = {Baukus, Kai and Bensalem, Saddek and Lakhnech, Yassine and Stahl, Karsten},
    year = {2000},
    booktitle = {TACAS'00},
    publisher = {Lecture Notes in Computer Science},
    volume = {1785},
    team = {DCS},
}


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

info visites 3885983