User menu

Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints

Bibliographic reference Busard, Simon ; Pecheur, Charles ; Qu, Hongyang ; Raimondi, Franco. Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints.16th International Conference on Formal Engineering Methods, ICFEM 2014 (Luxembourg, Luxembourg, du 03/11/2014 au 05/11/2014). In: Formal Methods and Software Engineering, 2014
Permanent URL http://hdl.handle.net/2078.1/152239