11 search results - page 1 / 3 » sas 1999 |
SAS
1999
Springer
13 years 9 months ago
1999
Springer
SAS
1999
Springer
13 years 9 months ago
1999
Springer
SAS
1999
Springer
13 years 9 months ago
1999
Springer
ing Cryptographic Protocols with Tree Automata David Monniaux http://www.di.ens.fr/%7Fmonniaux, Laboratoire d’Informatique, ´Ecole Normale Sup´erieure, 45 rue d’Ulm , 75230 P...
SAS
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. Binary Decision Graphs are an extension of Binary Decision Diagrams that can represent some infinite boolean functions. Three refinements of BDGs corresponding to class...
SAS
1999
Springer
13 years 9 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...