Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published May 24, 2022 | Version v1
Conference paper Open

On Well-Separation of GR(1) Specifications

Authors/Creators

  • Shahar Maoz
  • Jan Oliver Ringert

Description

FSE'16 paper

Notes

Author's copy

Files

well-separation-fse16.pdf

Files (911.5 kB)

Name Size Download all
well-separation-fse16.pdf
md5:4cac549ae60d35c0fa6fd1696aca754d
911.5 kB Preview Download
46
Views
89
Downloads
Show more details
All versions This version
Views

Total views

46 46
Downloads

Total downloads

89 88
Data volume

Total data volume

81.1 MB 80.2 MB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.1145/2950290.2950300
DOI Badge

DOI

10.1145/2950290.2950300

Markdown

[![DOI](https://zenodo.org/badge/DOI/10.1145/2950290.2950300.svg)](https://doi.org/10.1145/2950290.2950300)

reStructuredText

.. image:: https://zenodo.org/badge/DOI/10.1145/2950290.2950300.svg
  :target: https://doi.org/10.1145/2950290.2950300

HTML

<a href="https://doi.org/10.1145/2950290.2950300"><img src="https://zenodo.org/badge/DOI/10.1145/2950290.2950300.svg" alt="DOI"></a>

Image URL

https://zenodo.org/badge/DOI/10.1145/2950290.2950300.svg

Target URL

https://doi.org/10.1145/2950290.2950300
Resource type
Conference paper
Publisher
Zenodo

Rights

License
cc-by-4.0 icon Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Citation

Export

Technical metadata

Created
May 24, 2022
Modified
July 16, 2024

About

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

Blog

  • Blog

Help

  • Overview
  • FAQ
  • Support

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

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

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