Treffer: Model checking timed recursive CTL

Titel:

Model checking timed recursive CTL / Florian Bruse, Martin Lange

Beteiligt:

Veröffentlicht in:

Information and Computation. - 2024. - 10.1016/j.ic.2024.105168. - ISSN 1090-2651. - Volume 298, Issue June, Article 105168

Veröffentlicht:

Amsterdam : Elsevier, 2024

Vertrieb:

Kassel : Universitätsbibliothek Kassel

Umfang:

1 Online-Ressource (18 Seiten)

Format:

E-Book

Sprache:

Englisch

Schlagworte:

DOI:

10.17170/kobra-2024080710640

Open Access Rechte:

Open Access
CC BY-NC 4.0

Zusatz-Informationen