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 ![]() |
||||
MORE INFORMATION | ||||
Full Citation | Full Text PDF | Abstract | References | Related Articles | ||||