Search
Now showing items 21-28 of 28
A tool support for automatic analysis based on the tagged customer approach
(IEEE Computer Society Press, 2006)
Representation Transformations for Finding Markovian Representations
(Springer, 2013)