Deciding hedged bisimilarity

Mansutti, Alessio

•

Miculan, Marino

2018

conference object

Archivio

http://hdl.handle.net/11390/1143482

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85056894319

http://ceur-ws.org/Vol-2243/paper22.pdf

Diritti

open access

Soggetti

Computer Science (all...

Visualizzazioni

1

Data di acquisizione
Apr 19, 2024