| 2013 | ||
| Tuesday, April 16th | ||
|---|---|---|
| 3:30 PM |
Mapping of UML Diagrams to Extended Petri Nets for Formal Verification Byron DeVries, Grand Valley State University Hager-Lubbers Exhibition Hall 3:30 PM |
|
Skip to main content