Treffer: Quantitative analysis of probabilistic pushdown automata: expectations and variances
Title:
Quantitative analysis of probabilistic pushdown automata: expectations and variances
Authors:
Source:
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) Logic in computer science Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on. :117-126 2005
Relation:
Proceedings. 20th Annual IEEE Symposium on Logic in Computer Science
Database:
IEEE Xplore Digital Library