Search Sciweavers | Sciweavers

5255 search results - page 136 / 1051

» Formal Methods for Privacy

113

click to vote

CAV
2009
Springer

138views Hardware» more CAV 2009»

Reducing Context-Bounded Concurrent Reachability to Sequential Reachability

15 years 10 months ago

Download www.cs.uiuc.edu

Salvatore La Torre, P. Madhusudan, Gennaro Parlato

claim paper

Read More »

109

Voted

CAV
2009
Springer

128views Hardware» more CAV 2009»

Modelling Epigenetic Information Maintenance: A Kappa Tutorial

15 years 10 months ago

Download www.pps.jussieu.fr

Jean Krivine, Vincent Danos, Arndt Benecke

claim paper

Read More »

Voted

FM
2009
Springer

95views Formal Methods» more FM 2009»

A Robust Semantics Hides Fewer Errors

15 years 10 months ago

Download www.cs.waikato.ac.nz

Steve Reeves, David Streader

claim paper

Read More »

Voted

FM
2009
Springer

80views Formal Methods» more FM 2009»

Unifying Probability with Nondeterminism

15 years 10 months ago

Download www.iist.unu.edu

Yifeng Chen, Jeff W. Sanders

claim paper

Read More »

Voted

FM
2009
Springer

127views Formal Methods» more FM 2009»

A Tableau for CTL

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers