Home > CSC-OpenAccess Library > Theory & Algorithms > International Journal of Logic and Computation (IJLP)
International Journal of Logic and Computation (IJLP)
An International peer-review journal operated under CSC-OpenAccess Policy.
ISSN - 2180-1290
Published - Bi-Monthly | Established - 2010 | Year of Publication - 2024
|
||||||||||
HOME | About IJLP | Editorial Board | Call For Papers/Editors | Submission Guidelines | Citation Report | IJLP Publications | Subscribe IJLP | |||||||||||||||
|
CURRENT ISSUE
VOLUME - 4 ISSUE - 1 | ||||
Publication Date - June 2016 | Pages - 1 - 22 |
||||
1 Records found in CSC-OpenAccess Library. | ||||
Scalability in Model Checking through Relational Databases | ||||
Florin Stoica | ||||
Pages - 1 - 22 | Revised - 30-04-2016 | Published - 01-06-2016 | ||||
Full Text Available (600.62KB) | ||||
MORE INFORMATION | ||||
Full Citation | Full Text PDF | Abstract | References | Related Articles | ||||