DMCA

Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems (2003)

by Paul C. Attie , Nancy A. Lynch
Citations:30 - 5 self