APA (7th ed.) Citation

(2023). EventB2Maude: Probabilistic modeling and statistical model checking for event-B with probabilistic rewrite theories and MultiVeStA.

Chicago Style (17th ed.) Citation

EventB2Maude: Probabilistic Modeling and Statistical Model Checking for Event-B with Probabilistic Rewrite Theories and MultiVeStA. 2023.

MLA (8th ed.) Citation

EventB2Maude: Probabilistic Modeling and Statistical Model Checking for Event-B with Probabilistic Rewrite Theories and MultiVeStA. 2023.

Warning: These citations may not always be 100% accurate.