Rasmus Petersen

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j1		Oukseh Lee, Hongseok Yang, Rasmus Petersen: A divide-and-conquer approach for analysing overlaid data structures. Formal Methods in System Design 41(1): 4-24 (2012)
	2011
c1		Oukseh Lee, Hongseok Yang, Rasmus Petersen: Program Analysis for Overlaid Data Structures. CAV 2011: 592-608

Coauthor Index

1	Oukseh Lee	[j1] [c1]
2	Hongseok Yang	[j1] [c1]

Last update Sat May 18 11:28:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page