Search Results
You searched for:
author_facet
International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
Remove constraint
Showing 1 - 3 of 3 results
Search Results
Formal methods for real-time and probabilistic systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.54 .I53 1999 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Transformation-based reactive systems development
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.54 .I54 1997 | ✔ Available |