Alexander Asteroth

	2001
2		Alexander Asteroth, Christel Baier, Ulrich Aßmann: Model Checking with Formula-Dependent Abstract Models. CAV 2001: 155-168
	1992
1		Alexander Asteroth, Mark Sebastian Fischer, Knut Möller, Uwe Schnepf: Tracking and Grasping of Moving Objects - a Behaviour-Based Approach. IEA/AIE 1992: 195-204

Coauthor Index

1	Ulrich Aßmann	[2]
2	Christel Baier	[2]
3	Mark Sebastian Fischer	[1]
4	Knut Möller	[1]
5	Uwe Schnepf	[1]

Colors in the list of coauthors