Searching for authors named "Hongping Lim" – sorted by Relevance.
2 documents found, showing 1 through 2.
-
S.: Specifying and proving properties of timed I/O automata in the TIOA toolkit
- …@(email omitted); HongPing Lim Nancy Lynch Sayan Mitra Shinya Umeno Computer Science and Artificial Intelligence…
- Cited by 1 (1 self) – Add To MetaCart
-
Des Autom Embed Syst DOI 10.1007/s10617-008-9022-2 Specifying and proving properties of timed I/O automata using Tempo
- …/O automata using Tempo Myla Archer · Hongping Lim · Nancy Lynch · Sayan Mitra · Shinya Umeno Received: 13…
- Add To MetaCart
Showing 1 through 2.
