by Edmundo López Bóbeda, Maximilien Colange, Didier Buchs
Reference:
Building a Symbolic Model Checker from Formal Language Description (Edmundo López Bóbeda, Maximilien Colange, Didier Buchs), In 15th International Conference on Application of Concurrency to System Design (ACSD'2015), 2015, to appear.
Bibtex Entry:
@inproceedings{lopez2015building,
Author = {L\'{o}pez B\'{o}beda, Edmundo and Colange, Maximilien and Buchs, Didier},
Booktitle = {15th {I}nternational {C}onference on {A}pplication of {C}oncurrency to {S}ystem {D}esign ({ACSD}'2015)},
Title = {{B}uilding a {S}ymbolic {M}odel {C}hecker from {F}ormal {L}anguage {D}escription},
Year = {2015, to appear},
url = {documents/acsd_2015.pdf}}