No label defined (Q4422079)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 1973984

In more languages

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 1973984

Statements

scholarly article

Marta Kwiatkowska

publication date

3 September 2003

full work available at URL

http://link.springer.de/link/service/series/0558/bibs/2529/25290194.htm

zbMATH Keywords

Induction and compositional model checking

probabilistic model checking

randomized distributed algorithms

describes a project that uses

MaRDI profile type

MaRDI publication profile

Identifiers

zbMATH Open document ID

Mathematics Subject Classification ID

zbMATH DE Number

Sitelinks

Mathematics(1 entry)

mardi Publication:4422079

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4422079&oldid=28617135"