Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Real-Time Model Checking is Really Simple

Leslie Lamport

Details

Publication typeInproceedings
Published in13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods
AddressSaarbrucken, Germany
> Publications > Real-Time Model Checking is Really Simple