Tertia Hörne

2008
2	EE	Lynn Stevenson, Katarina Britz, Tertia Hörne: KT and S4 Satisfiability in a Constraint Logic Environment. PRICAI 2008: 370-381
1	EE	Tertia Hörne, John A. van der Poll: Planning as model checking: the performance of ProB vs NuSMV. SAICSIT Conf. 2008: 114-123

Coauthor Index

1	Katarina Britz	[2]
2	John A. van der Poll	[1]
3	Lynn Stevenson	[2]

Colors in the list of coauthors