Search

Your search keyword '"Dulat, Falko"' showing total 20 results
Start Over Author "Dulat, Falko" Publisher springer berlin heidelberg
20 results on '"Dulat, Falko"'

10. Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report

Author

Dulat, Falko, Katoen, Joost-Pieter, Nguyen, Viet Yen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Aldini, Alessandro, editor, Bernardo, Marco, editor, Bononi, Luciano, editor, and Cortellessa, Vittorio, editor

Published
2010
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results