|
Tag
Ind#1
Ind#2
Name
020
/a9783540774259
039
9
/a200910281146/blinda/y200909161402/zbie
090
/a005.369/bESP
100
1
/aEsparza ,/bJavier
245
1
/aUnfoldings :/ba partial - order approach to model checking //cJavier Esparza, Keijo Heljanko
260
/aVerlag Berlin Heidelberg :/bSpringer,/c2008
300
/a171 p.;/c24 cm
650
0
/aComputer Software -/bTesting
650
0
/aComputer system -/bVerification
700
/aHeljanko,/bKeijo