HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Tephilla Prince

Publications
Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems
Tephilla Prince
EasyChair Preprint no. 8638

Keyphrases

Bounded Model Checking, Counting Logics, Petri nets, SAT solvers, temporal logics.

Copyright © 2012-2023 easychair.org. All rights reserved.