@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6009434
|
|
|