Compositional Abstraction for Timed Systems with Broadcast Synchronization

Thumbnail Image

Files

Primary 321972.pdf (743.68 KB)

Date

2025

Authors

Chen, H. Hongyi
Zhang, M
Vaandrager, F.W. Frits

Journal Title

Journal ISSN

Volume Title

Publisher

Cham : Springer

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/321972

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By