skip to main content

A Model Checking Language for Concurrent Value-Passing Systems

Mateescu, Radu ; Thivolle, Damien Sere, Kaisa ; Maibaum, Tom ; Cuellar, Jorge

FM 2008: Formal Methods, 2008, Vol.5014, p.148-164 [Peer Reviewed Journal]

Berlin, Heidelberg: Springer Berlin Heidelberg

No full-text

Citations Cited by

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far