- Tytuł:
- Liveness vs Safety – A Practical Viewpoint
- Autorzy:
- Źródło:
- Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. 7261:80-94
Książka elektroniczna