scientific article

zbMath1272.68216MaRDI QIDQ2851070

Pritha Mahata, Johann Deneux, Parosh Aziz Abdulla

Publication date: 2 October 2013

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

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 (2)

On the Verification of Timed Ad Hoc Networks ⋮ Unnamed Item

This page was built for publication: