DMCA

The Input Output Timed Automaton: A model for real-time parallel computation (1990)

by Azer Bestavros
Venue:FIRST INTERNATIONAL WORKSHOP ON TIMING ISSUES IN THE SPECIFICATION AND SYNTHESIS OF DIGITAL SYSTEMS (TAU '90
Citations:3 - 0 self