2. |
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 : Timișoara, Romania)
|
LC Name Authority File (LCNAF)
|
ConferenceName SimpleType Name Authority |
|
nb2006011721 |
|
Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, NATO ; VISSAS |
11. |
Descloux, A. Delay tables for finite- and infinite-source systems
|
BIBFRAME Instances
|
Instance |
|
750661 |
|
|
12. |
Quantum spin systems on infinite lattices
|
BIBFRAME Instances
|
Instance |
|
19457760 |
|
|
16. |
Verification of infinite-state systems with applications to security
|
BIBFRAME Works
|
Work Text Monograph |
|
14168969 |
|
|
17. |
Curtain, Ruth F. Analysis and optimization of systems
|
BIBFRAME Instances
|
Instance |
|
2978856 |
|
|
18. |
Hackworth, Robert D. Mathematical systems
|
BIBFRAME Instances
|
Instance |
|
1235503 |
|
|