Nir Piterman profile picture

Nir Piterman

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Tools and Algorithms for the Construction and Analysis of Systems
Extending Temporal Logic with Omega-Automat
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings