Research productsAuthorsStatsIT | EN

Institute

Author

Type

Research program

EU Funding Program

EU Project

Year

Language

Keyword

---

(family-based) model checking

---

About CNR ExploRA

• Exhibition of research products
• Future goals and developments

Resources

• Research products
• Authors
• Stats

Developers

• API Rest
• OAI-PMH

Contacts

• oapublications@cnr.it

Licensed under CC BY 4.0