Journal of Logic and Algebraic Programming
, Volume 69
Volume 69, Numbers 1-2, August-December 2006
Mieke Massink
,
Diego Latella
,
Stefania Gnesi
:
On testing UML statecharts.
1-74
L. Jason Steggles
:
Verifying an infinite systolic algorithm using third-order equational methods.
75-92
Parosh Aziz Abdulla
,
Axel Legay
,
Julien d'Orso
,
Ahmed Rezine
:
Tree regular model checking: A simulation-based approach.
93-121
Copyright ©
Thu Nov 12 01:59:04 2009 by
Michael Ley
(
ley@uni-trier.de
)