A Aralex Aachen research explorer

July 05, 2006 article

A formal analysis of bluetooth device discovery

International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-006-0014-x OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 111

Parameter synthesis for Markov models: covering the parameter space
2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

20

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

27

citations

2 results

References 0