Symbolic Bisimulation for Timed Processes / M. Boreale. - STAMPA. - (1996), pp. 321-335. [10.1007/BFb0014325]

Symbolic Bisimulation for Timed Processes

BOREALE, MICHELE
1996

1996
9783540614630
Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996, Proceeding
321
335
M. Boreale
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/390351
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact