Work

Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

Year: 2001

Type: article

Authors: Papm-Probmiv, Process Algebras, Luca de Alfaro, Stephen Gilmore

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1507853016

FWCI:

Cites:

Cited by:

Related to: 10