Items where Author is "Miaomiao, Zhang"
Group by: Item Type | No Grouping Number of items: 1. Pham, Dinh Chinh and Miaomiao, Zhang and Dang, Van Hung (2016) On Model-Checking Probabilistic Timed Automata against Probabilistic Duration Properties. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi. |
