Fachtagung des GI-Fachbereichs Softwaretechnik

Event name

Event type

Event for scientific audience

Start date

25-02-2014

End date

28-02-2014

Location

Kiel, Deutschland
Kiel, Deutschland

Country

Europe

Event format Veranstaltungsformat

On Site

Results 1-2 of 2 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut	Concolic Testing of Concurrent Programs	Konferenzbeitrag Inproceedings	2014
	2		Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut	Reusing Information in Multi-Goal Reachability Analyses	Konferenzbeitrag Inproceedings	2014