Sequential Relational Decomposition release_cyta6riskrhsxcuvbqp4fx5iuu

by Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi

Published in Logic in Computer Science by ACM Press.

2018   p432-441

Archived Files and Locations

application/pdf  617.7 kB
file_nbh5smd7lrbexpkyqh4hddwrhy
ora.ox.ac.uk (web)
web.archive.org (webarchive)
application/pdf  343.8 kB
file_dw2rx3bo7nevpbjpvl5be4stwe
pure.mpg.de (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2018
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 7b54378e-68d2-48fb-9690-c209c001b9a6
API URL: JSON