![](/img/cover-not-exists.png)
[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Frequency Linear-time Temporal Logic
Bollig, Benedikt, Decker, Normann, Leucker, MartinYear:
2012
Language:
english
DOI:
10.1109/tase.2012.43
File:
PDF, 265 KB
english, 2012