Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by D. Michael Miller
Using SPIN to Check Simulink Stateflow Models
International Journal of Networked and Distributed Computing
Computer Networks
Computer Science Applications
Communications