bibtex

@inproceedings{'BP6',
    title = { Finding Recurrent Sets with Backward Analysis and Trace Partitioning },
    author = {Bakhirkin, Alexey and Piterman, Nir},
    year = {2016},
    booktitle = {Tools and Algorithms for the Construction and Analysis of System (TACAS)},
    pages = {17--35},
    team = {PACSS},
}

URL


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

info visites 3748570