Normal view
MARC view
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timasoara, Romania) (Meeting 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), Verification of infinite-state systems with applications to security, c2006.