HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Tephilla Prince

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

Keyphrases

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

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