A Probabilistic Duration Calculus

Autor: Z. Liu, A. P. Ravn, E. V. Sørensen, C. Zhou
Rok vydání: 1993
Zdroj: Responsive Computer Systems ISBN: 9783709192900
DOI: 10.1007/978-3-7091-9288-7_3
Databáze: OpenAIRE