Main

Mint Work Search Explore Works Knowledge Graph Citation Graph Bibliometrics Receipts

info@nobleid.org

About Fund our work FAQ Developers Terms Policy Persistence & Resolver Service Policy

Efficient Scalable Verification of LTL Specifications | NobleID

v1

Efficient Scalable Verification of LTL Specifications

Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi

LB

Luciano Baresi

NobleIDNI0P50W11R69S84

Type:Conference Paper

Claim Your Authorship

Sign in to see the full record

Creating an account is free.

Create an account

For data access, contact info@nobleid.org.