Author:
Macedo Nuno,Brunel Julien,Chemouil David,Cunha Alcino
Publisher
Springer Nature Switzerland
Reference12 articles.
1. Lecture Notes in Computer Science;A Biere,1999
2. Brunel, J., Chemouil, D., Cunha, A., Macedo, N.: The electrum analyzer: model checking relational first-order temporal specifications. In: ASE, pp. 884–887. ACM (2018)
3. Brunel, J., Chemouil, D., Cunha, A., Macedo, N.: Simulation under arbitrary temporal logic constraints. In: F-IDE@FM. EPTCS, vol. 310, pp. 63–69 (2019)
4. Cavada, R., et al.: NuSMV 2.6 User Manual. FBK-IRST (2010). http://nusmv.fbk.eu/NuSMV/userman/v26/nusmv.pdf
5. Chang, E., Roberts, R.: An improved algorithm for decentralized extrema-finding in circular configurations of processes. Commun. ACM 22(5), 281–283 (1979)