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), IEEE Computer Society, 2015.
Bibtex Entry:
@inproceedings{lopez2015building,
Address = {Brussels, Belgium},
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)},
Pages = {50--59},
Publisher = {{IEEE} Computer Society},
Title = {{B}uilding a {S}ymbolic {M}odel {C}hecker from {F}ormal {L}anguage {D}escription},
Year = {2015},
url = {documents/acsd_2015.pdf}}