Falk Bartels

	2004
5		Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Theor. Comput. Sci. 327(1-2): 3-22 (2004)
	2003
4		Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Electr. Notes Theor. Comput. Sci. 82(1): 57-75 (2003)
3		Falk Bartels: Generalised Coinduction. Mathematical Structures in Computer Science 13(2): 321-348 (2003)
	2002
2		Falk Bartels: GSOS for Probabilistic Transition Systems. Electr. Notes Theor. Comput. Sci. 65(1): 29-53 (2002)
	2001
1		Falk Bartels: Generalised Coinduction. Electr. Notes Theor. Comput. Sci. 44(1): 67-87 (2001)

Coauthor Index

1	Ana Sokolova	[4] [5]
2	Erik P. de Vink	[4] [5]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page