Statistics Overview

All items > Item: Formal Verification of Temporal Properties for Parametrized Concurrent Programs and Concurrent Data Structures

All items > Item: Formal Verification of Temporal Properties for Parametrized Concurrent Programs and Concurrent Data Structures

General	Comparison per yearSummary
Advanced	Requests

Downloads

Activity Overview

507Downloads

243Hits

Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
Check whether the spanish journal in which you have published an article allows you to also publish it under open access.

Archivo Digital UPM is the institutional digital repository maintained by the Library at the Universidad Politécnica de Madrid. Developed and maintained in EPrints.

Syndication: Atom, RSS 2.0 and RSS 1.0 (HTML)
Harvesting: OAI 2.0