On discretisable formulas in duration calculus
p. 53-66
Saved in:
Main Author: | Pham, Hong Thai |
---|---|
Format: | Article |
Language: | English |
Published: |
H. : ĐHQGHN
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/57893 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
Similar Items
-
Computability via the lambda-calculus with patterns
by: Bodin Skulkiat
Published: (2012) -
Lambda-calculus with patterns
by: Pimpen Vejjajiva
Published: (2009) -
Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties
by: Dang, Van Hung, et al.
Published: (2017) -
An operational way of teaching the elements of calculus
by: Monfero, Edelisa M.
Published: (1972) -
Stochastic Network Calculus
by: Jiang, Yuming, et al.
Published: (2017)