Skip to main content
Kent Academic Repository

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)

C

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)
Format: PDF

This list was generated on Tue Dec 24 23:19:19 2024 GMT.