Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
Year: 1999
Type: report
Source: MADOC (University of Mannheim)
Authors: Christel Baier, Bettina Engelen
Institution: University of Mannheim
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: Deutsche Forschungsgemeinschaft
OpenAlex ID: W1944241544