Verimag

bibtex

@inproceedings{BBL+00b,
    title = {Abstracting WS1S Systems to Verify Parameterized Networks },
    author = {Baukus, Kai and Bensalem, Saddek and Lakhnech, Yassine and Stahl, Karsten},
    year = {2000},
    booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 20},
    pages = {188-203},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {1785},
    team = {DCS},
}

Sections de Publications


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

info visites 915929