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
    Datensatz exportieren als...
  • BibTeX
Communities and Ancestors Associated with Egon Börger and ASM
Logic, Computation and Rigorous Methods, 2021, Vol.12750, p.96-120
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.3-34
Link zum Volltext
Verfügbarkeit prüfen
1 – 2 von 2
Suche als RSS-Feed
Aktive Filter
KollektionFactiva
KollektionWiley Online Library Database Model
Zeitschrift / SerieInternational Journal Of Sociotechnology And Knowledge Development
ThemaAlgorithms
ThemaConsumer Behavior
ThemaHumans
KollektionSpringerLink Series
Nur zeigenGeprüft (Peer-Review)
Suchergebnisse filtern
Filter anzeigen