Cover von The Quantitative Linear-Time-Branching-Time Spectrum opens in new tab

The Quantitative Linear-Time-Branching-Time Spectrum

Year: 2011
Media group: ARTICLE

Details

Search for this author
Year: 2011
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 103-114
Participating parties: Search for this character Fahrenberg, Uli; Legay, Axel; Thrane, Claus
Media group: ARTICLE