scientific article; zbMATH DE number 5604109
From MaRDI portal
Publication:3395993
zbMATH Open1169.03331MaRDI QIDQ3395993FDOQ3395993
Authors: Per F. V. Hasle, Peter Øhrstrøm 
Publication date: 15 September 2009
Title of this publication is not available (Why is that?)
Specification and verification (program logics, model checking, etc.) (68Q60) History of mathematical logic and foundations (03-03) Temporal logic (03B44) Logic in computer science (03B70)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3395993)
