Font Size:
a
A
A
Keyword [μ-calculus]
Result: 1 - 7 | Page: 1 of 1
1.
The Study Of Analysis And Synthesis For Hybrid Systems
2.
Model Checking For Mobile Ambients
3.
Reasoning And Symbolic Model Checking Of Extended Temporal Logics
4.
Some Results On Games For Bisimulation And Modal μ-calculus
5.
Property Checking Of BPEL4WS Based On π-calculus
6.
Research Of The Model Checking Method And Technology Guided By Testing Purpose
7.
Research On Model Checking Guides The Generation Of TTCN-3Test Suite
<<First
<Prev Next>
Last>>
Jump to
