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...
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext

Environmental modelling & software : with environment data news, 2013-01, Vol.39, p.201-213
2013
Link zum Volltext



2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext


Open Access
Asynchronous Extensions of HyperLTL
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext



2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext


Journal of physics. Conference series, 2019-12, Vol.1399 (4), p.44047
2019
Link zum Volltext



Categories of Nets
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext


2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext

ACM transactions on mathematical software, 2013-04, Vol.39 (3), p.1-43
2013
Link zum Volltext

IEEE/ACM transactions on computational biology and bioinformatics, 2013-05, Vol.10 (3), p.645-656
2013

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext



FMTea 2019: Formal Methods Teaching, 2019, Vol.11758, p.69-80
2019
Link zum Volltext

ACM transactions on modeling and computer simulation, 2023-05, Vol.33 (3), p.1-19, Article 8
2023
Link zum Volltext
Aktive Filter
PublikationsformReferenzeintrag
ThemaPhysical Sciences
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Erscheinungsjahr
n.n
n.n