Previous Page | Next Page |
# | Year | Author(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
2005 | [Hoenicke, Jochen] Maier, Patrick | Model-Checking of Specifications Integrating Processes, Data and Time In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, 465-480 | Proceedings Article | ||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
3 |
| ||||||||
1 |
| ||||||||
7 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
3 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
3 |
| ||||||||
1 |
| ||||||||
5 |
| ||||||||
8 |
| ||||||||
6 |
| ||||||||
5 |
| ||||||||
4 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
58 |
| ||||||||
16 |
|
Previous Page | Next Page |