DaftarIsitemplate

Call Number

004 Int c

Title

Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture Notes in Computer Science 1254)Hal. 412-423

Author

A. Prasad Sistia;

Publisher

Springer, 1997

Subject

Location