×

Found 34 Documents (Results 1–34)

Security protocol analysis in context: computing minimal executions using SMT and CPSA. (English) Zbl 1514.94078

Furia, Carlo A. (ed.) et al., Integrated formal methods. 14th international conference, IFM 2018, Maynooth, Ireland, September 5–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11023, 130-150 (2018).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Time-relaxed multi-broadcasting in communication networks (extended abstract). (English) Zbl 1184.94284

Nešetřil, Jaroslav (ed.) et al., Comb01—Euroconference on combinatorics, graph theory and applications. Extended abstracts from the conference, Barcelona, Spain, September 12–15, 2001. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 10, 255-260 (2001).
MSC:  94C15 94A05 68M10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software