Anzahl der Einträge: 11. Zeitschriftenartikel
Buchkapitel
|
Wolf, Verena
(2005)
Testing theory for probabilistic systems.
Broy, Manfred
Model-based Testing of Reactive Systems : advanced lectures
Lecture Notes in Computer Science
Berlin [u.a.]
3472
233-275
[Buchkapitel]
|
|
Dissertation
Konferenzveröffentlichung
|
Wolf, Verena
Modelling of Biochemical Reactions by Stochastic Automata Networks.
Busi, Nadia
Electronic Notes in Theoretical Computer Science : ENTCS
171
197-208
In: MeCBIC 2006 : Workshop on Membrane Computing and Biologically Inspired Process Calculi, S. Servolo, Venice, Italy, July 9, 2006
(2007)
Amsterdam [u.a.]
[Konferenzveröffentlichung]
|
|
|
Majster-Cederbaum, Mila ; Semmelrock, Nils ; Wolf, Verena
Interaction Models for Biochemical Reactions.
Arabnia, Hamid R.
2007 International Conference on Bioinformatics & Computational Biology : BioComp '07, Monte Carlo Resort, Las Vegas, Nevada, USA (June 25-28, 2007)
480-486
In: Proceedings of the 2007 International Conference on Bioinformatics & Computational Biology, BIOCOMP 2007 : [at] WORLDCOMP'07, June 25 - 28, 2007, Las Vegas, Nevada, USA
(2007)
Las Vegas, Nev.
[Konferenzveröffentlichung]
|
|
|
Wolf, Verena ; Baier, Christel ; Majster-Cederbaum, Mila
Trace Semantics for Stochastic Systems with Nondeterminism.
Di Pierro, Alessandra
Electronic Notes in Theoretical Computer Science : ENTCS
164,3
187-204
In: Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Quantitative Aspects of Programming Languages 2006, Vienna, Austria 1–2 April 2006
(2006)
Amsterdam [u.a.]
[Konferenzveröffentlichung]
|
|
|
Wolf, Verena ; Fecher, Harald ; Leucker, Martin
Don't Know in Probabilistic Systems.
Valmari, Antti
Lecture Notes in Computer Science
3925
71-88
In: Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006; proceedings
(2006)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
|
Wolf, Verena ; Baier, Christel
Stochastic Reasoning About Channel-Based Component Connectors.
Ciancarini, Paolo
Lecture Notes in Computer Science
4038
1-15
In: Coordination models and languages : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14 - 16, 2006; proceedings
(2006)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
|
Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena
Comparative Branching Time Semantics for Markov Chains.
Amadio, Roberto M.
Lecture Notes in Computer Science
2761
492-507
In: CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3 - 5, 2003; proceedings
(2003)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Wed Apr 24 01:28:51 2024 CEST automatisch erstellt. |
None
Mannheim
[Dissertation]
![[img]](/style/images/fileicons/application_pdf.png)