@inproceedings{earle:hal-01528738, TITLE = {{Verification of Timed Erlang Programs Using McErlang}}, AUTHOR = {Earle, Clara Benac and Fredlund, Lars-{\AA}ke}, URL = {https://inria.hal.science/hal-01528738}, BOOKTITLE = {{14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)}}, ADDRESS = {Stockholm, Sweden}, EDITOR = {Holger Giese and Grigore Rosu}, PUBLISHER = {{Springer}}, SERIES = {Formal Techniques for Distributed Systems}, VOLUME = {LNCS-7273}, PAGES = {251-267}, YEAR = {2012}, MONTH = Jun, DOI = {10.1007/978-3-642-30793-5\_16}, PDF = {https://inria.hal.science/hal-01528738/file/978-3-642-30793-5_16_Chapter.pdf}, HAL_ID = {hal-01528738}, HAL_VERSION = {v1}, }