10.3929/ETHZ-A-006519524
Conchinha, Bruno
Basin, David A.
Caleiro, Carlos
FAST: an efficient decision procedure for deduction and static equivalence
ETH Zurich
2010
PROGRAMME UND ALGORITHMEN ZUR LĂ–SUNG SPEZIELLER PROBLEME
KRYPTOGRAPHIE (INFORMATIONSTHEORIE)
NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME)
PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
CRYPTOGRAPHY (INFORMATION THEORY)
NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS)
info:eu-repo/classification/ddc/004
info:eu-repo/classification/ddc/004
info:eu-repo/classification/ddc/510
Data processing, computer science
Data processing, computer science
Mathematics
2010
en
Conference Paper
11 p.
http://creativecommons.org/licenses/by-nc-nd/3.0/
info:eu-repo/semantics/openAccess
7th International Workshop on Formal Aspects of Security and Trust - FAST 2010