Algebraic intruder deductions
Metadata only
Datum
2005Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Herausgeber(in)
Buchtitel
Logic for programming, artificial intelligence, and reasoning : 12th international conference : proceedings / LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005Zeitschrift / Serie
Logic for Programming, Artificial Intelligence, and ReasoningBand
Seiten / Artikelnummer
Verlag
SpringerKonferenz
Organisationseinheit
03634 - Basin, David / Basin, David
ETH Bibliographie
yes
Altmetrics