Jump to Navigation
Home
MEALS
Mobility between Europe and Argentina applying Logics to Systems

User menu

  • Login

You are here

Home ›

Publications

2012
J. Markovski and M. A. Reniers, “Verifying Performance of Supervised Plants”, in ACSD, 2012.
  • Google Scholar
  • BibTex
J. Markovski and M. A. Reniers, “Verifying Performance of Supervised Plants”, 2010 10th International Conference on Application of Concurrency to System Design, p. 52-61, 2012.
  • DOI
  • Google Scholar
  • BibTex
2011
L. Zhang, D. N. Jansen, F. Nielson, and H. Hermanns, “Automata-Based CSL Model Checking”, Logical Methods in Computer Science, vol. 8, 2011.
  • Google Scholar
  • BibTex
PDF icon1104.4983.pdf (230.89 KB)
S. Figueira, D. Gorın, and R. Grimson, “On the expressive power of IF Logic with classical negation via flattening is a second-order logic with weak dependencies”, in 18th Workshop on Logic, Language, Information and Computation, 2011.
  • Google Scholar
  • BibTex

Pages

  • « first
  • ‹ previous
  • …
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14

Main menu

  • Home
  • Work Packages
  • Partners & People
  • Announcements
  • Publications
  • Deliverables

Contents

  • Home
  • Work Packages
  • Partners & People
  • Announcements
  • Publications
    • Authors
    • WP1
    • WP2
    • WP3
    • WP4
    • WP5
  • Deliverables

   

                              

Powered by Drupal