Normal view
MARC view
Sifakis, Joseph (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)749731: Nivoliln, Xavier 790454, Compiling Real-Time Specifications Into Extended Automata