DaftarIsitemplate

Call Number

004 Int c

Title

Partial-order reduction in symbolic state space exploration, (LNCS-Lecture Notes in Computer Science 1254) Hal 340-351

Author

R. Alur; R.K. Brayton; T.A. Henzinger; S. Qadeer; S.K. Rajamani;

Publisher

Springer, 1997

Subject

Location