Forward Saturation Based Model Checking
| Vörös, András | ||
| Bartha, Tamás | ||
| 2021-05-28T10:00:11Z | ||
| 2021-05-28T10:00:11Z | ||
| 2012 | ||
| http://hdl.handle.net/10890/15461 | ||
| en | ||
| Forward Saturation Based Model Checking | ||
| könyvfejezet | ||
| Open access | ||
| 2012.01.30 | ||
| Budapest | ||
| 19th PhD Mini-Symposium | ||
| 2012 | ||
| 978-963-313-046-9 | ||
| Budapest University of Technology and Economics | ||
| Online | ||
| Proceedings of the 19th PhD Mini-Symposium | ||
| Department of Measurement and Information Systems | ||
| Published | ||
| Faculty of Electrical Engineering and Informatics | ||
| 38 | ||
| 41 | ||
| Konferenciacikk | ||
| Budapest University of Technology and Economics |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- 19Minisymp_proceedings-38-41.pdf
- Size:
- 148.07 KB
- Format:
- Adobe Portable Document Format
- Description:
- Proceedings of the 19th PhD Mini-Symposium - 009