default search action
BibTeX record conf/rapido/LezuoK13
@inproceedings{DBLP:conf/rapido/LezuoK13, author = {Roland Lezuo and Andreas Krall}, editor = {Daniel Gracia P{\'{e}}rez and Morteza Biglari{-}Abhari and Daniel Chillet and Gianluca Palermo}, title = {Using the {CASM} language for simulator synthesis and model verification}, booktitle = {Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, {RAPIDO} '13, 21 January, 2013, Berlin, Germany}, pages = {6:1--6:8}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2432516.2432522}, doi = {10.1145/2432516.2432522}, timestamp = {Tue, 06 Nov 2018 16:58:26 +0100}, biburl = {https://dblp.org/rec/conf/rapido/LezuoK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.