Verimag

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

Sections de Publications


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

Visiteurs connectés : 8 ; visites : 448913