Results 1-5 of 5 (Search time: 0.007 seconds).
Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link | |
---|---|---|---|---|---|---|---|
1 | 1993 | A Verifier for Distributed Real-Time Systems with Bounded Integer Variables | 王 凡; Mok, A. K.; Wang, Farn | COMPASS Conference | |||
2 | 1993 | Symbolic Model-Checking for Distributed Real-Time Systems | 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn | Formal Methods Europe Symposium | |||
3 | 1993 | Symbolic Model Checking for Event-Driven Real-Time Systems | 王 凡; Yang, J.; Mok, A. K.; Wang, Farn | 1993 IEEE Real-Time System | 23 | 22 | |
4 | 1992 | Asynchronous Real-Time Event Logic | 王 凡; Mok, A. K.; Wang, Farn | International Computer Symposium | |||
5 | 1992 | Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL | 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn | International Conference on Software Engineering |