default search action
BibTeX record conf/date/ChangD15
@inproceedings{DBLP:conf/date/ChangD15, author = {Che{-}Wei Chang and Rainer D{\"{o}}mer}, editor = {Wolfgang Nebel and David Atienza}, title = {May-happen-in-parallel analysis of {ESL} models using {UPPAAL} model checking}, booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March 9-13, 2015}, pages = {1567--1570}, publisher = {{ACM}}, year = {2015}, url = {http://dl.acm.org/citation.cfm?id=2757174}, timestamp = {Mon, 09 Aug 2021 01:32:18 +0200}, biburl = {https://dblp.org/rec/conf/date/ChangD15.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.