Concurrency theory: timed automata, testing, program synthesis / Davide Sangiorgi. - In: DISTRIBUTED COMPUTING. - ISSN 0178-2770. - STAMPA. - 25:(2012), pp. 3-4. [10.1007/s00446-011-0156-2]
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.