Search Results - Hura, G.S.
-
1
-
2
-
3
-
4
-
5
-
6
What is the best way to prove a cryptographic protocol correct?
Conference Proceeding -
7
-
8
-
9
Distributed recovery block based fault-tolerant multicasting
Conference Proceeding -
10
-
11
-
12
-
13
Verification of the Cigarette Smokers' Problem: a Viable Approach
Conference Proceeding -
14
-
15
A Petri-net-based Modeling Assisted Software Environment (MASE) tool
Conference Proceeding -
16
-
17
-
18