Fingerprint
Dive into the research topics of 'Modeling and Analysis of RabbitMQ Using UPPAAL'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Modeling and Analysis of RabbitMQ Using UPPAAL
Ran Li, Jiaqi Yin, Huibiao Zhu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review