Publications

Ton09

Summary

S. Tonetta (2009) Abstract Model Checking without Computing the Abstraction. In FM 2009..

Bibtex entry

@INPROCEEDINGS { Ton09,
    AUTHOR = { S. Tonetta },
    TITLE = { {Abstract Model Checking without Computing the Abstraction} },
    BOOKTITLE = { FM 2009 },
    YEAR = { 2009 },
}