Normal view
MARC view
Pettersson, Paul (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): FORMATS (Conference) (3rd : 2005 : Uppsala, Sweden) 28369, Formal modeling and analysis of timed systems :, ©2005.