Publisher
Springer International Publishing
Reference23 articles.
1. Apt, K.R., Francez, N., Katz, S.: Appraising fairness in languages for distributed programming. Distrib. Comput. 2(4), 226–241 (1988)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)
3. Banks, J., II, J.S.C., Nelson, B.L., Nicol, D.M.: Discrete-Event System Simulation, 5th edn. Pearson Education (2010)
4. Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management, Second Edition. Springer (2018)
5. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411–420. ACM (1999)