A Specification Theory of Real-Time Processes
| Date first appeared online | 18/12/2016 |
| DOI | 10.1007/978-3-319-51046-0_2 |
| Authors | Moller F. |
| Journal Name | Concurrency, Security, and Puzzles |
| Volume | 10160 |
| Date first appeared online | 18/12/2016 |
| DOI | 10.1007/978-3-319-51046-0_2 |
| Authors | Moller F. |
| Journal Name | Concurrency, Security, and Puzzles |
| Volume | 10160 |