Author:
Fan Chuchu,Huang Zhenqi,Mitra Sayan
Publisher
Springer International Publishing
Reference32 articles.
1. Abdulla, P., Aronis, S., Jonsson, B., Sagonas, K.: Optimal dynamic partial order reduction. In: ACM SIGPLAN Notices, vol. 49, pp. 373–384. ACM (2014)
2. Lecture Notes in Computer Science;R Alur,1997
3. Baier, C., Größer, M., Ciesinski, F.: Partial order reduction for probabilistic systems. QEST 4, 230–239 (2004)
4. Baier, C., Katoen, J.P., Larsen, K.G.: Principles of Model Checking. MIT press, Cambridge (2008)
5. Blondel, V., Hendrickx, J.M., Olshevsky, A., Tsitsiklis, J., et al.: Convergence in multiagent coordination, consensus, and flocking. In: IEEE Conference on Decision and Control, vol. 44, p. 2996. IEEE; 1998 (2005)