Programming Languages and Systems

Book title Buchtitel

Publisher Herausgeber

Springer / LNCS

Place of publishing Erscheinungsort

7792

Series Schriftenreihe

Lecture Notes in Computer Science

Filter:

Author: Beyer, Dirk

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut	Information Reuse for Multi-goal Reachability Analyses	Konferenzbeitrag Inproceedings	2013