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