GSOS for non-deterministic processes with quantitative aspects

MICULAN, Marino

•

PERESSOTTI, Marco

2014

conference object

Periodico

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

DOI

10.4204/EPTCS.154.2

Archivio

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

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

https://doi.org/10.4204/EPTCS.154.2

Diritti

open access

Scopus© citazioni

11

Data di acquisizione
Jun 2, 2022

Visualizzazioni

10

Data di acquisizione
Apr 19, 2024