bibtex

@inproceedings{SBL+99b,
    title = {Divide, Abstract, and Model-Check },
    author = {Stahl, Karsten and Baukus, Kai and Lakhnech, Yassine and Steffen, Martin},
    year = {1999},
    booktitle = {Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings},
    pages = {57-76},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {1680},
    team = {DCS},
}


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

info visites 4192117