default search action

combined dblp search
author search
venue search
publication search

ask others

18. WADT 2006: La Roche en Ardenne, Belgium

> Home > Conferences and Workshops > WADT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/wadt/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/2006
José Luiz Fiadeiro, Pierre-Yves Schobbens:
Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4409, Springer 2007, ISBN 978-3-540-71997-7
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/BaldanCKL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/BaldanCKL06
Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente:
A Temporal Graph Logic for Verification of Graph Transformation Systems. 1-20
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/CaleiroG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/CaleiroG06
Carlos Caleiro, Ricardo Gonçalves:
On the Algebraization of Many-Sorted Logics. 21-36
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/FiadeiroLB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/FiadeiroLB06
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi:
Algebraic Semantics of Service Component Modules. 37-55
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/KreowskiK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/KreowskiK06
Hans-Jörg Kreowski, Sabine Kuske:
Autonomous Units and Their Semantics - The Parallel Case. 56-73
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/LuttichM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/LuttichM06
Klaus Lüttich, Till Mossakowski:
Reasoning Support for Caslwith Automated Theorem Proving Systems. 74-91
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/MossakowskiR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/MossakowskiR06
Till Mossakowski, Markus Roggenbach:
Structured CSP - A Process Algebra as an Institution. 92-110
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/MensS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/MensS06
Tom Mens, Ragnhild Van Der Straeten:
Incremental Resolution of Model Inconsistencies. 111-126
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/SchroderM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/SchroderM06
Lutz Schröder, Till Mossakowski:
Coalgebraic Modal Logic in CoCasl. 127-141
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/LangenhoveH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/LangenhoveH06
Sara Van Langenhove, Albert Hoogewijs:
SV_tL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. 142-155
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Wolter06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Wolter06
Uwe Wolter:
A (Co)Algebraic Analysis of Synchronization in CSP. 156-170

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.