EPTCS 84 - SYNT 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0554
- ask others
Doron Peled, Sven Schewe (Eds.): Proceedings First Workshop on Synthesis. 2012 EPTCS 84 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0867
- ask others
Rüdiger Ehlers, Daniela Moldovan: Sparse Positional Strategies for Safety Games. ... 1-16
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0868
- ask others
Roopsha Samanta: Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs. ... 17-32
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-0869
- ask others
Srinivas Nedunuri, William R. Cook, Douglas R. Smith: Theory and Techniques for Synthesizing a Family of Graph Algorithms. ... 33-46
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1268
- ask others
Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer: Synthesizing Robust Systems with RATSY. ... 47-53