[ACM Press the 15th ACM international conference - Beijing, China (2012.04.17-2012.04.19)] Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 - Verification of linear duration properties over continuous-time markov chains
Chen, Taolue, Diciolla, Marco, Kwiatkowska, Marta, Mereacre, AlexandruYear:
2012
Language:
english
DOI:
10.1145/2185632.2185672
File:
PDF, 573 KB
english, 2012