Metrics for action-labelled quantitative transition systems - Archive ouverte HAL Access content directly
Conference Papers Electronic Notes in Theoretical Computer Science Year : 2006

Metrics for action-labelled quantitative transition systems

Yuxin Deng
  • Function : Author
  • PersonId : 840711
No file

Dates and versions

hal-00159689 , version 1 (03-07-2007)

Identifiers

  • HAL Id : hal-00159689 , version 1

Cite

Yuxin Deng. Metrics for action-labelled quantitative transition systems. May 2006, pp.79-96. ⟨hal-00159689⟩
15 View
0 Download

Share

Gmail Facebook X LinkedIn More