Normal view
MARC view
Modelling railway interlocking tables using coloured petri nets (Término temático)
Machine generated authority record.
Work cat.: (OSt)12429: Clarke, DaveAgha, Gul [Eds.] 16841, Coordination models and languages