scientific article; zbMATH DE number 2102698

zbMath1046.68501MaRDI QIDQ4817536

Béatrice Bérard, Laurent Fribourg

Publication date: 24 September 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Related Items

Updatable timed automata, The power of reachability testing for timed automata

Uses Software

• Coq
• Uppaal