401 search results - page 7 / 81 » Formal Analysis of Meeting Protocols |
104
click to vote
ICFEM
2003
Springer
15 years 4 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
IFIP
2007
Springer
15 years 5 months ago
2007
Springer
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
CCS
2010
ACM
14 years 12 months ago
2010
ACM
ENTCS
2007
14 years 11 months ago
2007