Publisher
Springer International Publishing
Reference34 articles.
1. Alur, R., Etessami, K., La Torre, S., Peled, D.A.: Parametric temporal logic for “model measuring”. ACM Trans. Comput. Log. 2(3), 388–407 (2001).
https://doi.org/10.1145/377978.377990
2. Lecture Notes in Computer Science;B Aminof,2014
3. Aminof, B., Kotek, T., Rubin, S., Spegni, F., Veith, H.: Parameterized model checking of rendezvous systems. Distrib. Comput. 31(3), 187–222 (2018).
https://doi.org/10.1007/s00446-017-0302-6
4. Außerlechner, S., Jacobs, S., Khalimov, A.: Tight cutoffs for guarded protocols with fairness. CoRR abs/1505.03273 (2015).
http://arxiv.org/abs/1505.03273
5. Lecture Notes in Computer Science;S Außerlechner,2016