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