A procedure to translate Paradigm Specifications to Propositional Linear Temporal Logic and its application to verification
Augusto, Juan Carlos and Gómez, Rodolfo (2003) A procedure to translate Paradigm Specifications to Propositional Linear Temporal Logic and its application to verification. International Journal of Software Engineering and Knowledge Engineering
Download
Full text not available from this repository.
| Item Type: | Article |
|---|---|
| Divisions: | Faculty of Physical Sciences and Engineering > Electronics and Computer Science |
| Item ID: | 257689 |
| Date Deposited: | 14 Jun 2003 |
| Last Modified: | 01 Mar 2012 10:52 |
| Contributors: | Augusto, Juan Carlos (Author) Gómez, Rodolfo (Author) |
| Date: | 2003 |
| Status: | Published |
| Publisher: | World Scientific |
| Further Information: | Google Scholar |
| ISI Citation Count: | 1 |
| URI: | http://eprints.soton.ac.uk/id/eprint/257689 |
Actions (login required)
 |
View Item |
