Public

Model checking

Published in ACM eBooks • Mar 24, 2011

NobleIDark:/48914/w1/20260524/2054D429Record on NobleID

Authors:

E. Allen Emerson

Abstract

No abstract available.

Subject

Computer science

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!