BibTeX record conf/sac/Gregorio-Rodriguez15

download as .bib file

@inproceedings{DBLP:conf/sac/Gregorio-Rodriguez15,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Luis Llana and
                  Rafael Mart{\'{\i}}nez{-}Torres},
  editor       = {Roger L. Wainwright and
                  Juan Manuel Corchado and
                  Alessio Bechini and
                  Jiman Hong},
  title        = {Extending mCRL2 with ready simulation and iocos input-output conformance
                  simulation},
  booktitle    = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
                  Salamanca, Spain, April 13-17, 2015},
  pages        = {1781--1788},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2695664.2695853},
  doi          = {10.1145/2695664.2695853},
  timestamp    = {Tue, 06 Nov 2018 11:06:44 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/Gregorio-Rodriguez15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.