Dennis Guck

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c1		Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer: Quantitative Timed Analysis of Interactive Markov Chains. NASA Formal Methods 2012: 8-23

Coauthor Index

Last update Sat May 25 00:23:16 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page