Monografie
Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar
- Sprache
-
Englisch
- Identifier
-
991324382
- Reihe
-
Dagstuhl seminar proceedings 07421
- Beteiligte Personen und Organisationen
-
Chen, Liqun
Kremer, Steve
Ryan, Mark D.
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:56 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Chen, Liqun
- Kremer, Steve
- Ryan, Mark D.
Ähnliche Objekte (12)
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Formal protocol verification applied : 07421 executive summary
Simulation and verification of dynamic systems : 06161 abstracts collection ; Dagstuhl seminar
Protocol Verification with Heuristic Search
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Applied abstract algebra
Applied abstract algebra
Cryptography : 07381 abstracts collection ; Dagstuhl seminar
Formal verification of the pastry protocol
Belief change and cryptographic protocol verification
Verification of abstract state machines
Computational proteomics : 05471 abstracts collection ; Dagstuhl seminar
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Formal protocol verification applied : 07421 executive summary
Simulation and verification of dynamic systems : 06161 abstracts collection ; Dagstuhl seminar
Protocol Verification with Heuristic Search
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Applied abstract algebra
Applied abstract algebra
Cryptography : 07381 abstracts collection ; Dagstuhl seminar
Formal verification of the pastry protocol
Belief change and cryptographic protocol verification
Verification of abstract state machines
Computational proteomics : 05471 abstracts collection ; Dagstuhl seminar
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Formal protocol verification applied : 07421 executive summary
Simulation and verification of dynamic systems : 06161 abstracts collection ; Dagstuhl seminar
Protocol Verification with Heuristic Search
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Applied abstract algebra
Applied abstract algebra
Cryptography : 07381 abstracts collection ; Dagstuhl seminar
Formal verification of the pastry protocol
Belief change and cryptographic protocol verification
Verification of abstract state machines