DaftarIsitemplate
 
Call Number
004 Int c
Title
Partial-order reduction in symbolic state space explorarion, (LNCS-Lecture Notes in Computer Science 1254) Hal. 340-351
Author
R. Alur; R.K. Bryton; T.A. Henzinger; S. Qadeer; S.K. Rajamani;
Publisher
Springer, 1997
Subject
Location