Library Services | Technical University of Kenya Search for 'au:"Wolter, Katinka."'

Formal Methods and Stochastic Models for Performance Evaluation

By Wolter, Katinka.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 9783540752110

By Wolter, Katinka.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 9783642112577

By Wolter, Katinka.. . XVIII, 489 p. 95 illus. 9783642290329

By Wolter, Katinka.. . XVI, 269p. 9783642112577