Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
2006 | Model checking Duration Calculus: a practical approach In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 332-346 | Rybalchenko2006ICTAC-DC | |||||
| |||||||
| |||||||
| |||||||
| |||||||
|