bibtex

@inproceedings{SBL+99a,
    title = {Divide, abstract and model-check },
    author = {Stahl, Karsten and Baukus, Kai and Lakhnech, Yassine and Steffen, Martin},
    year = {1999},
    booktitle = {Proceedings of the 5th International SPIN Workshop on Theoretical Aspects of Model Checking},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {1680},
    team = {DCS},
}


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

info visites 4097426