EPTCS 87 - FIT 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-3485
- ask others
Sebastian S. Bauer, Jean-Baptiste Raclet (Eds.): Proceedings Fourth Workshop on Foundations of Interface Technologies. 2012 EPTCS 87 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-4268
- ask others
Uli Fahrenberg, Axel Legay: A Robust Specification Theory for Modal Event-Clock Automata. ... 5-16
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-4269
- ask others
Louis-Marie Traonouez: A Parametric Counterexample Refinement Approach for Robust Timed Specifications. ... 17-33
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-4271
- ask others
Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Sequentializing Parameterized Programs. ... 34-47
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-4270
- ask others
Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski: Refinement for Transition Systems with Responses. ... 48-55