Alistair Munro

Loading Google Thumbnails...
1993
1Applications of Modal Logic for the Specification of Real-Time Systems. Liang Chen, Alistair Munro. FME 1993, 235-249. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research