On model checking multiple hybrid views

From MaRDI portal
Publication:947781

DOI10.1016/j.tcs.2008.03.010zbMath1151.68030OpenAlexW2029263782MaRDI QIDQ947781

Michael Huth, Altaf Hussain

Publication date: 7 October 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.03.010




Related Items (7)


Uses Software


Cites Work


This page was built for publication: On model checking multiple hybrid views