Summary: An Algorithm to Translate
PARADIGM specifications to PLTL in Polynomial Time
Rodolfo Sabas Gomez
Computing Laboratory,
Dept. of computer Science,
University of Kent,
CT2 7NZ Canterbury,
Kent, United Kingdom
+44 (0) 1227 823824
rsg2@ukc.ac.uk
Juan Carlos Augusto
Department of Electronics and
Computer Science,
University of Southampton,
SO17 1BJ Southampton,
Hampshire, United Kingdom
+44 (0) 23 8059 3440
jca@ecs.soton.ac.uk
Silvia Teresita Acu~na
Universidad Nacional de

Source: Augusto, Juan Carlos - School of Computing and Mathematics, University of Ulster at Jordanstown

Collections: Computer Technologies and Information Sciences