Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@misc{benton-07, author = {Benton, N. and Koutavas, V.}, title = {{A mechanized bisimulation for the nu-calculus}}, year = {2007}, publisher = {Citeseer}, }