Truth of duration calculus formulae in timed frames”, (1996)
by
C A Middelburg
Venue: | United Nations University, International Institute for Software Technology, |
Citations: | 7 - 5 self |