Grgur Petric Maretic

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Topological Features

Linear Time Temporal Logic

Semantic Structures

Bounded Model Checking

Top Venues

Inf. Process. Lett.

Publications