Normal view
MARC view
- Ţiplea, Ferucio Laurenţiu
Ţiplea, Ferucio Laurenţiu (Personal Name)
Machine generated authority record.
Work cat.: (JGU)2886875: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 : Timișoara, Romania) 1373870, Verification of infinite-state systems with applications to security /, ©2006.