scientific article

zbMath1272.68238MaRDI QIDQ2848416

Laurent Van Begin, Christophe Darlot, Alain Finkel

Publication date: 26 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002380

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

Mathematics Subject Classification ID

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

Related Items (1)

Reachability in Timed Counter Systems

This page was built for publication: