Sciweavers

8023 search results - page 53 / 1605
» Internet Technology
Sort
View
WWW
2008
ACM
15 years 2 months ago
Automated Semantic Analysis of Schematic Data
Saikat Mukherjee, I. V. Ramakrishnan
84
Voted
DC
1998
15 years 2 months ago
Model Checking for a Probabilistic Branching Time Logic with Fairness
Christel Baier, Marta Z. Kwiatkowska