Verification of infinite-state systems with applications to security
Spremljeno u:
| Autori kompanije: | , |
|---|---|
| Daljnji autori: | , , |
| Format: | Elektronički Izvještaj sastanka e-knjiga |
| Jezik: | engleski |
| Izdano: |
Amsterdam ; Washington, D.C. :
IOS Press,
c2006.
|
| Serija: | NATO security through science series. Information and communication security ;
v. 1. |
| Teme: | |
| Online pristup: | An electronic book accessible through the World Wide Web; click to view |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
Search Result 1
Verification of infinite-state systems with applications to security
Izdano c2006.
An electronic book accessible through the World Wide Web; click to view
Elektronički
Izvještaj sastanka
e-knjiga