Sciweavers

7827 search results - page 40 / 1566
» time 2007
Sort
View
IFM
2007
Springer
15 years 6 months ago
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
Johannes Faber, Swen Jacobs, Viorica Sofronie-Stok...