Verification of infinite-state systems with applications to security /
39
Format: | |
---|---|
Language: | eng |
Published: |
Amsterdam, The Netherlands : IOS Press,
2006
|
Subjects: |
39
Format: | |
---|---|
Language: | eng |
Published: |
Amsterdam, The Netherlands : IOS Press,
2006
|
Subjects: |