DaftarIsitemplate

Call Number

005.16 Bit f

Title

Model checking through symbolic reachability graph (Lecture Notes in Computer Science 1214), Hal. 213-224

Author

Jean Michel Ilie; Khalil AJami;

Publisher

Springer, 1997

Subject

Location