A Theory of Robust Omega-regular Software Synthesis

Majumdar, Rupak; Render, Elaine; Pabuada, Paulo

doi:10.1145/2539036.2539044

Local TagsRelease HistoryDetailsSummary

A Theory of Robust Omega-regular Software Synthesis

Majumdar, R., Render, E., & Pabuada, P. (2013). A Theory of Robust Omega-regular Software Synthesis. ACM Transactions on Embedded Computing Systems, 13(3): 48, pp. 1-27. doi:10.1145/2539036.2539044.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-1926-2 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-1927-F

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Majumdar, Rupak¹, Author
Render, Elaine², Author
Pabuada, Paulo², Author

Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292
2External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2013Date issued: 2013

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Internal

Identifiers: eDoc: 689064
DOI: 10.1145/2539036.2539044

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: ACM Transactions on Embedded Computing Systems

Abbreviation : TECS

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: - Volume / Issue: 13 (3) Sequence Number: 48 Start / End Page: 1 - 27 Identifier: -