PDF:
Efficient Saturation-based Bounded Model Checking of Asynchronous Systems
| Cím | Efficient Saturation-based Bounded Model Checking of Asynchronous Systems |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2013 |
| Szerzők | Darvas, D., Vörös, A., and Bartha, T. |
| Szerkesztő | Kiss, Á. |
| Konferencia neve | 13th Symposium on Programming Languages and Software Tools (SPLST'13) |
| Kiadás dátuma | 08/2013 |
| Kiadó | University of Szeged |
| Konferencia helyszíne | Szeged, Hungary |
| ISBN-szám | 978-963-306-228-9 |
