scientific article
From MaRDI portal
Publication:2849862
zbMath1272.68201MaRDI QIDQ2849862
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104052983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (2)
Incremental model checking of delta-oriented software product lines ⋮ Strategies, model checking and branching-time properties in Maude
Uses Software
This page was built for publication:
