TY  - RPRT
TI  - Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
AU  - Max Kanovich
AU  - Tajana Ban Kirigin
AU  - Vivek Nigam
AU  - Andre Scedrov
AU  - Carolyn Talcott
PY  - 2024
UR  - https://arxiv.org/abs/1606.07886
ID  - 1606.07886
ER  -