Normal view
MARC view
Kutter, Philipp W (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Gurevich, Yuri. 22344, Abstract State Machines - Theory and Applications :, 2000.