Advanced search

Authors whose works are in public domain in at least one jurisdiction
Missing/wrong data? Edit Wikidata item

Specifying Fairness Constraints and Model Checking with Non-intensional Strategies

Author/s

author: Alberto Verdejo, Narciso Martí Oliet, Isabel Pita, Rubén Rubio


Work details

Publication date: 2024
Language: Unknown
Country of origin: Unknown

Copyright status


Access work