Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
An experiment in ping-pong protocol verification by nondeterministic pushdown automata
Robert Glück
Datalogisk Institut
38
Downloads (Pure)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'An experiment in ping-pong protocol verification by nondeterministic pushdown automata'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Teknik og materialevidenskab
Automata theory
100%
Network protocols
90%
Formal languages
81%
Computer programming languages
60%
Simulators
47%
Experiments
47%