The following pages link to Dang Van Hung (Q168969):
Displaying 13 items.
- Probabilistic duration calculus for continuous time (Q1125686) (← links)
- Checking temporal duration properties of timed automata. (Q1433946) (← links)
- Checking timed automata for linear duration properties (Q1587334) (← links)
- Semi-commutations and Petri nets (Q1822948) (← links)
- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus (Q3526931) (← links)
- A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus (Q3643269) (← links)
- (Q3774977) (← links)
- (Q3792232) (← links)
- (Q4284252) (← links)
- A duration calculus with infinite intervals (Q5055877) (← links)
- (Q5186744) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709982) (← links)
- Process net reconstruction from the sequence of Petri net transition triggerings (Q5928733) (← links)
