Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Wesen und Entwicklung der Staatsgerichtsbarkeit. Uberprufung von Verwaltungsakten durch die ordentlichen Gerichte: Verhandlungen der Tagung der Deutschen Staatsrechtslehrer zu Wien am 23. und 24. April 1928. Mit einem Auszug aus der Aussprache
Nachdr. d. Ausg. 1929. Reprint 2013., 2006
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Verification of GossipSub in ACL2s
Electronic proceedings in theoretical computer science, 2023, Vol.393, p.113-132
2023
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers
2024 IEEE Symposium on Security and Privacy (SP), 2024, p.2142-2160
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verification and Attack Synthesis for Network Protocols
2024
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Case Study in Analytic Protocol Analysis in ACL2
Electronic proceedings in theoretical computer science, 2023, Vol.393, p.50-66
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
2022 IEEE Symposium on Security and Privacy (SP), 2022, p.51-68
2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated Attacker Synthesis for Distributed Protocols
Computer Safety, Reliability, and Security, p.133-149
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Formal Analysis of Karn’s Algorithm
Networked Systems, p.43-61
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Wesen und Entwicklung der Staatsgerichtsbarkeit: Überprüfung von Verwaltungsakten durch die ordentlichen Gerichte : Verhandlungen der Tagung der Deutschen Staatsrechtslehrer zu Wien am 23. und 24. April 1928
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Wesen und Entwicklung der Staatsgerichtsbarkeit: Überprüfung von Verwaltungsakten durch die ordentlichen Gerichte : Verhandlungen der Tagung der Deutschen Staatsrechtslehrer zu Wien am 23. und 24. April 1928. Mit einem Auszug aus der Aussprache
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Wesen und Entwicklung der Staatsgerichtsbarkeit. Überprüfung Von Verwaltungsakten Durch Die Ordentlichen Gerichte: Verhandlungen der Tagung der Deutschen Staatsrechtslehrer Zu Wien Am 23. und 24. April 1928. Mit Einem Auszug Aus der Aussprache
1, 1975
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Wesen und Entwicklung der Staatsgerichtsbarkeit. Überprüfung Von Verwaltungsakten Durch Die Ordentlichen Gerichte: Verhandlungen der Tagung der Deutschen Staatsrechtslehrer Zu Wien Am 23. und 24. April 1928
1, 1929
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Wesen und Entwicklung der Staatsgerichtsbarkeit. Überprüfung von Verwaltungsakten durch die ordentlichen Gerichte. Verhandlungen der Tagung der Deutschen Staatsrechtslehrer zu Wien am 23. und 24. April 1928. Mit einem Auszug aus der Aussprache
1929
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Rechtstheorie und Rechtsdogmatik. Studien zur Rechtsmethode und zur Rechtserkenntnis
The American Journal of Comparative Law, 1964, Vol.13 (2), p.318-326
1964
Volltextzugriff (PDF)
1 – 14 von 14
Suche als RSS-Feed
Aktive Filter
PublikationsformArtikel
Suchergebnisse filtern
Filter anzeigen