Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
4340
search results - page 21 / 868
»
Formal Methods and Cryptography
Sort
relevance
views
votes
recent
update
View
thumb
title
153
click to vote
FM
1999
Springer
103
views
Formal Methods
»
more
FM 1999
»
Verifying a Distributed Database Lookup Manager Written in Erlang
15 years 10 months ago
Download
www.erlang.se
Thomas Arts, Mads Dam
claim paper
Read More »
124
click to vote
FM
1999
Springer
102
views
Formal Methods
»
more
FM 1999
»
csp2B: A Practical Approach to Combining CSP and B
15 years 10 months ago
Download
eprints.ecs.soton.ac.uk
Michael J. Butler
claim paper
Read More »
132
click to vote
FM
1999
Springer
122
views
Formal Methods
»
more
FM 1999
»
Towards a Compositional Approach to the Design and Verification of Distributed Systems
15 years 10 months ago
Download
www.cs.unh.edu
Michel Charpentier, K. Mani Chandy
claim paper
Read More »
114
click to vote
FM
1999
Springer
99
views
Formal Methods
»
more
FM 1999
»
Logspace Reducibility via Abstract State Machines
15 years 10 months ago
Download
www.eecs.umich.edu
Erich Grädel, Marc Spielmann
claim paper
Read More »
131
click to vote
FM
1999
Springer
101
views
Formal Methods
»
more
FM 1999
»
Systems Development Using Z Generics
15 years 10 months ago
Download
www-users.cs.york.ac.uk
Fiona Polack, Susan Stepney
claim paper
Read More »
« Prev
« First
page 21 / 868
Last »
Next »
