@InProceedings{Bre13,
author={Romain Brenguier},
title={{PRALINE}: A Tool for Computing {Nash} Equilibria in Concurrent Games},
booktitle={Proc. 25th International Conference on Computer Aided Verification (CAV'13)},
year={2013},

editors={},
pages={890-895},
organization={},
publisher={Springer},
series={LNCS},
volume={8044},
address={},
month={},
note={},
key={}
}