Items where Author / Artist / Editor is "Simaitis, Aistis"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Chen, Taolue and Forejt, Vojtěch and Kwiatkowska, Marta and Parker, David and Simaitis, Aistis (2013) Automatic verification of competitive stochastic systems. Formal Methods in System Design, 43 (1). pp. 61-92. ISSN 0925-9856

This list was generated on Thu Mar 21 04:34:13 2019 GMT.