Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs139.bht:"

 download as .bib file

@proceedings{DBLP:journals/corr/AguirreR14,
  editor    = {Nazareno Aguirre and
               Leila Ribeiro},
  title     = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
               2013, Buenos Aires, Argentina, August 26th 2013},
  series    = {{EPTCS}},
  volume    = {139},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.139},
  doi       = {10.4204/EPTCS.139},
  timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/AguirreR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BenderskyGG14,
  author    = {Pablo Bendersky and
               Juan Pablo Galeotti and
               Diego Garbervetsky},
  editor    = {Nazareno Aguirre and
               Leila Ribeiro},
  title     = {The DynAlloy Visualizer},
  booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
               2013, Buenos Aires, Argentina, August 26th 2013},
  series    = {{EPTCS}},
  volume    = {139},
  pages     = {59--64},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.139.6},
  doi       = {10.4204/EPTCS.139.6},
  timestamp = {Mon, 02 Dec 2019 18:16:29 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/BenderskyGG14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CassanoM14,
  author    = {Valentin Cassano and
               T. S. E. Maibaum},
  editor    = {Nazareno Aguirre and
               Leila Ribeiro},
  title     = {Actions and Events in Concurrent Systems Design},
  booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
               2013, Buenos Aires, Argentina, August 26th 2013},
  series    = {{EPTCS}},
  volume    = {139},
  pages     = {31--45},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.139.3},
  doi       = {10.4204/EPTCS.139.3},
  timestamp = {Mon, 02 Dec 2019 18:16:29 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/CassanoM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CastanoGGTZ14,
  author    = {Rodrigo Casta{\~{n}}o and
               Juan Pablo Galeotti and
               Diego Garbervetsky and
               Jonathan Tapicer and
               Edgardo Zoppi},
  editor    = {Nazareno Aguirre and
               Leila Ribeiro},
  title     = {On Verifying Resource Contracts using Code Contracts},
  booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
               2013, Buenos Aires, Argentina, August 26th 2013},
  series    = {{EPTCS}},
  volume    = {139},
  pages     = {1--15},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.139.1},
  doi       = {10.4204/EPTCS.139.1},
  timestamp = {Mon, 02 Dec 2019 18:16:29 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/CastanoGGTZ14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CastroM14,
  author    = {Pablo F. Castro and
               T. S. E. Maibaum},
  editor    = {Nazareno Aguirre and
               Leila Ribeiro},
  title     = {Automated Reasoning over Deontic Action Logics with Finite Vocabularies},
  booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
               2013, Buenos Aires, Argentina, August 26th 2013},
  series    = {{EPTCS}},
  volume    = {139},
  pages     = {16--30},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.139.2},
  doi       = {10.4204/EPTCS.139.2},
  timestamp = {Mon, 02 Dec 2019 18:16:29 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/CastroM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GimenezMPF14,
  author    = {Manuel Gim{\'{e}}nez and
               Mariano M. Moscato and
               Carlos Gustavo L{\'{o}}pez Pombo and
               Marcelo F. Frias},
  editor    = {Nazareno Aguirre and
               Leila Ribeiro},
  title     = {HeteroGenius: {A} Framework for Hybrid Analysis of Heterogeneous Software
               Specifications},
  booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
               2013, Buenos Aires, Argentina, August 26th 2013},
  series    = {{EPTCS}},
  volume    = {139},
  pages     = {65--70},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.139.7},
  doi       = {10.4204/EPTCS.139.7},
  timestamp = {Mon, 02 Dec 2019 18:16:29 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/GimenezMPF14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JuniorD14,
  author    = {Val{\'{e}}rio Medeiros J{\'{u}}nior and
               David D{\'{e}}harbe},
  editor    = {Nazareno Aguirre and
               Leila Ribeiro},
  title     = {BEval: {A} Plug-in to Extend Atelier {B} with Current Verification
               Technologies},
  booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
               2013, Buenos Aires, Argentina, August 26th 2013},
  series    = {{EPTCS}},
  volume    = {139},
  pages     = {53--58},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.139.5},
  doi       = {10.4204/EPTCS.139.5},
  timestamp = {Mon, 02 Dec 2019 18:16:29 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/JuniorD14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/RegisVR14,
  author    = {Germ{\'{a}}n Regis and
               Fernando Villar and
               Nicol{\'{a}}s Ricci},
  editor    = {Nazareno Aguirre and
               Leila Ribeiro},
  title     = {Fluent Logic Workflow Analyser: {A} Tool for The Verification of Workflow
               Properties},
  booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
               2013, Buenos Aires, Argentina, August 26th 2013},
  series    = {{EPTCS}},
  volume    = {139},
  pages     = {46--51},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.139.4},
  doi       = {10.4204/EPTCS.139.4},
  timestamp = {Mon, 02 Dec 2019 18:16:29 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/RegisVR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ScilingoND14,
  author    = {Gast{\'{o}}n Scilingo and
               Mar{\'{\i}}a Marta Novaira and
               Renzo Degiovanni},
  editor    = {Nazareno Aguirre and
               Leila Ribeiro},
  title     = {Analyzing Behavioural Scenarios over Tabular Specifications Using
               Model Checking},
  booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
               2013, Buenos Aires, Argentina, August 26th 2013},
  series    = {{EPTCS}},
  volume    = {139},
  pages     = {71--76},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.139.8},
  doi       = {10.4204/EPTCS.139.8},
  timestamp = {Mon, 02 Dec 2019 18:16:29 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/ScilingoND14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics