Satpathy, Manoranjan
Some results on the decidability of duration calculus under sycnhronous interpretation - Macau 1996 UNU Institute for Software Technology - UNU/IIST Report .
COMPUTER SOFTWARE
TRAINING AND RESEARCH INSTITUTIONS
SOFTWARE ENGINEERING
Some results on the decidability of duration calculus under sycnhronous interpretation - Macau 1996 UNU Institute for Software Technology - UNU/IIST Report .
UNU B17642
- Original series title: UNU/IIST Report ; No.86.
COMPUTER SOFTWARE
TRAINING AND RESEARCH INSTITUTIONS
SOFTWARE ENGINEERING