scientific article
From MaRDI portal
Publication:2848673
zbMath1272.68261MaRDI QIDQ2848673
Martin Lange, Markus Jehle, Nicolas Rachinsky, Jan Johannsen
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105052400
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Bounded model checking of ETL cooperating with finite and looping automata connectives ⋮ Solving parity games by a reduction to SAT
This page was built for publication:
