E. Chang · 3 obras en el catálogoObrasCCompositional verification of reactive and real-time systemsCompositional verification of reactive and real-time systems1993TThe safety-progress classificationThe safety-progress classification1992TThe Public House in HollandThe Public House in Holland
CCompositional verification of reactive and real-time systemsCompositional verification of reactive and real-time systems1993