Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: A | C

Number of items: 2.

A

Augusto, Juan Carlos, Gomez, 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, 13 (6). pp. 627-654. ISSN 0218-1940. (doi:10.1142/s0218194003001494) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13880)

Chivers, Daniel, Rodgers, Peter (2015) Improving Search-Based Schematic Layout by Parameter Manipulation. International Journal of Software Engineering and Knowledge Engineering, 25 (6). pp. 961-991. ISSN 0218-1940. E-ISSN 1793-6403. (doi:10.1142/S0218194015500138) (KAR id:51550)

This list was generated on Wed May 1 22:11:17 2024 BST.