Normal view
MARC view
Halbwachs, Nicolas (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)749728: Halbwachs, Nicolas, Programming and Verifying Real-Time Systems by Means OfSysnchronous Data-Flow Language Lustre