Normal view
MARC view
Tiplea, Ferucio Laurentiu (Personal Name)
Machine generated authority record
Work cat.: (OSt)232036: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timasoara, Romania) 103669, Verification of infinite-state systems with applications to security, c2006.