Weighted Logics for Traces

Authors: 
Meinecke, Ingmar
Year: 
2006
Appeared / Erschienen in: 
In: "Computer Science - Theory and Applications: First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg", LNCS 3976, Springer, 2006, pp. 235-246.