Boris Wirtz

	2007
3		Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz: Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. ATVA 2007: 425-440
2		Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz: Automating Verification of Cooperation, Control, and Design in Traffic Applications. Formal Methods and Hybrid Real-Time Systems 2007: 115-169
	2006
1		Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz: Automatic Verification of Hybrid Systems with Large Discrete State Space. ATVA 2006: 276-291

Coauthor Index

1	Werner Damm	[1] [2] [3]
2	Stefan Disch	[1] [3]
3	Hardi Hungar	[1] [3]
4	Swen Jacobs	[3]
5	Alfred Mikschl	[2]
6	Jens Oehlerking	[2]
7	Ernst-Rüdiger Olderog	[2]
8	Jun Pang	[1] [2] [3]
9	Florian Pigorsch	[1] [3]
10	André Platzer	[2]
11	Christoph Scholl	[1] [3]
12	Marc Segelken	[2]
13	Uwe Waldmann	[1] [3]