Signed Interval Logic
Thomas M. Rasmussen
Type
Master's thesis [Academic thesis]
Year
1999
Publisher
Department of Information Technology, Technical University of Denmark
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering