scientific article; zbMATH DE number 1231598

zbMath0911.68140MaRDI QIDQ4222919

François Laroussinie, Philippe Schnoebelen

Publication date: 21 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#laroussinieschnoebelen

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

zbMATH Keywords

PCTLmodel-checking specification

Mathematics Subject Classification ID

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

This page was built for publication: