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