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

Symbolic Bisimulation for Timed Processes

BOREALE, MICHELE
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 identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2158/390351
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact