scientific article; zbMATH DE number 2111990

zbMath1083.68576MaRDI QIDQ4823428

Alicia Villanueva

Publication date: 28 October 2004

Full work available at URL: http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=17&issue=2&spage=93

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model checkingdenotational semanticstimed concurrent constraint languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: