Translating Stochastic CLS into Maude

Thomas Anung Basuki*, Antonio Cerone, Paolo Milazzo

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Translating Stochastic CLS into Maude'. Together they form a unique fingerprint.

INIS

Computer Science

Mathematics

Engineering

Material Science