Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Italy papers mirror
Published February 11, 2010 | Version v1
Book chapter Open

A Fast Bisimulation Algorithm

Authors/Creators

  • Dovier, Agostino
  • Piazza, Carla
  • Policriti, Alberto

Description

n/a

Files

fulltext.pdf

Files (211.3 kB)

Name Size Download all
fulltext.pdf
md5:c65df92dddb2dcdc0a0e2a6c55b7e913
211.3 kB Preview Download
14
Views
21
Downloads
Show more details
All versions This version
Views

Total views

14 14
Downloads

Total downloads

21 21
Data volume

Total data volume

4.4 MB 4.4 MB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.1007/3-540-44585-4_8
DOI Badge

DOI

10.1007/3-540-44585-4_8

Markdown

[![DOI](https://zenodo.org/badge/DOI/10.1007/3-540-44585-4_8.svg)](https://doi.org/10.1007/3-540-44585-4_8)

reStructuredText

.. image:: https://zenodo.org/badge/DOI/10.1007/3-540-44585-4_8.svg
  :target: https://doi.org/10.1007/3-540-44585-4_8

HTML

<a href="https://doi.org/10.1007/3-540-44585-4_8"><img src="https://zenodo.org/badge/DOI/10.1007/3-540-44585-4_8.svg" alt="DOI"></a>

Image URL

https://zenodo.org/badge/DOI/10.1007/3-540-44585-4_8.svg

Target URL

https://doi.org/10.1007/3-540-44585-4_8
Resource type
Book chapter
Publisher
Zenodo
Languages
Undetermined

Rights

License
Other (Open)
No further description.

Citation

Export

Technical metadata

Created
December 10, 2024
Modified
December 10, 2024

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies