ISSN 0001-5903 (Print)
Publisher: Springer Science and Media
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015) pp. 1-2(2) Authors: Aceto, L.; Frutos Escrig, D.
Reactive synthesis without regret pp. 3-39(37) Authors: Hunter, P.; Pérez, G. A.; Raskin, J. F.
Assume-admissible synthesis pp. 41-83(43) Authors: Brenguier, R.; Raskin, J. F.; Sankur, O.
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games pp. 85-125(41) Authors: Brihaye, T.; Geeraerts, G.; Haddad, A.; Monmege, B.
this page is secure
Receive new issue alert this page is secure