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...
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...
IEEE transactions on automatic control, 2024-02, Vol.69 (2), p.1-8
2024
Volltextzugriff (PDF)


Control engineering practice, 2021-07, Vol.112, p.104830, Article 104830
2021
Volltextzugriff (PDF)


ACM transactions on embedded computing systems, 2024-09, Vol.23 (5), p.1-25, Article 71
2024
Volltextzugriff (PDF)

Discrete event dynamic systems, 2022-06, Vol.32 (2), p.317-358
2022
Volltextzugriff (PDF)

Open Access
Rule formats for distributivity
Theoretical computer science, 2012-11, Vol.458, p.1-28
2012
Volltextzugriff (PDF)

Computer journal, 2014-01, Vol.57 (1), p.73-92
2014
Volltextzugriff (PDF)

Discrete event dynamic systems, 2024-09
2024
Volltextzugriff (PDF)

Theoretical computer science, 2011-06, Vol.412 (28), p.3045-3071
2011
Volltextzugriff (PDF)

Discrete event dynamic systems, 2023-12, Vol.33 (4), p.509-513
2023
Volltextzugriff (PDF)

IEEE transactions on automatic control, 2022-02, Vol.67 (2), p.870-885
2022
Volltextzugriff (PDF)

IEEE transactions on intelligent transportation systems, 2018-02, Vol.19 (2), p.533-544
2018
Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.856-873
Volltextzugriff (PDF)

IEEE control systems letters, 2023, Vol.7, p.1682-1687
2023
Volltextzugriff (PDF)

Information and computation, 2005-07, Vol.200 (1), p.107-147
2005
Volltextzugriff (PDF)

15th IFAC Workshop on Discrete Event Systems, WODES 2020, Rio de Janeiro, Brazil, 2020, Vol.53 (4), p.356-362
2020
Volltextzugriff (PDF)

IEEE transactions on automatic control, 2020-04, Vol.65 (4), p.1625-1639
2020
Volltextzugriff (PDF)

15th IEEE International Conference on Automation Science and Engineering, CASE 2019, Vancouver, Canada, 2019, Vol.2019-August, p.494-501
2019
Volltextzugriff (PDF)

ACM transactions on computational logic, 2012-01, Vol.13 (1), p.1-35
2012
Volltextzugriff (PDF)

Open Access
Linearization of CIF Through SOS
Electronic proceedings in theoretical computer science, 2011-08, Vol.64 (Proc. EXPRESS 2011), p.74-88
2011
Volltextzugriff (PDF)

SOS for Higher Order Processes
CONCUR 2005 – Concurrency Theory, 2005, p.308-322
2005
Volltextzugriff (PDF)



2019 American Control Conference (ACC), 2019, p.5614-5619
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n