Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
An Algorithm to Translate PARADIGM specifications to PLTL in Polynomial Time
 

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