Jakob L. Jensen

	1997
2		Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Michael I. Schwartzbach: Automatic Verification of Pointer Programs using Monadic Second-Order Logic. PLDI 1997: 226-236
	1995
1		Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm: Mona: Monadic Second-Order Logic in Practice. TACAS 1995: 89-110

Coauthor Index

1	Jesper G. Henriksen	[1]
2	Michael E. Jørgensen	[1] [2]
3	Nils Klarlund	[1] [2]
4	Robert Paige	[1]
5	Theis Rauhe	[1]
6	Anders Sandholm	[1]
7	Michael I. Schwartzbach	[2]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page