Weighted Timed MSO Logics

Authors: 
Quaas, K.
Year: 
2009
Appeared / Erschienen in: 
in: Developments in Language Theory (DLT), Lecture Notes in Comp. Science vol. 5583, Springer 2009, pp. 419-430.