Xu, Qiwen
Semantics and verification of extended phase transition systems in duration calculus - Macau 1996 UNU Institute for Software Technology - UNU/IIST Report .
COMPUTER SOFTWARE
TRAINING AND RESEARCH INSTITUTIONS
SOFTWARE ENGINEERING
Semantics and verification of extended phase transition systems in duration calculus - Macau 1996 UNU Institute for Software Technology - UNU/IIST Report .
UNU B17628
- Original series title: UNU/IIST Report ; No.72.
COMPUTER SOFTWARE
TRAINING AND RESEARCH INSTITUTIONS
SOFTWARE ENGINEERING