Publications Search Tool

290 entries « 15 of 15 »
281.

Dingel, Juergen

Approximating Unity Inproceedings

In: Garlan, David; Métayer, Daniel Le (Ed.): Second International Conference on Coordination Languages and Models (COORDINATION'97), pp. 320-337, Springer, Berlin, Germany. September 1-3, 1997, 1997, ISBN: 978-3-540-69527-1.

Abstract | Links | BibTeX

282.

Baldamus, Michael; Dingel, Juergen

Modal characterization of weak bisimulation for higher-order processes Inproceedings

In: Bidoit, Michel; Dauchet, Max (Ed.): 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), pp. 285-296, Springer, Lille, France. April 14-18, 1997, 1997, ISBN: 978-3-540-68517-3.

Abstract | Links | BibTeX

283.

Dingel, Juergen

Approximating Unity Inproceedings

In: Garlan, David; Métayer, Daniel Le (Ed.): Second International Conference on Coordination Languages and Models (COORDINATION'97), pp. 320-337, Springer, Berlin, Germany. September 1-3, 1997, 1997, ISBN: 978-3-540-69527-1.

Abstract | Links | BibTeX

284.

Baldamus, Michael; Dingel, Juergen

Modal characterization of weak bisimulation for higher-order processes Inproceedings

In: Bidoit, Michel; Dauchet, Max (Ed.): 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), pp. 285-296, Springer, Lille, France. April 14-18, 1997, 1997, ISBN: 978-3-540-68517-3.

Abstract | Links | BibTeX

285.

Dingel, Juergen

Modular Verification for Shared-Variable Concurrent Programs Inproceedings

In: 7th International Conference on Concurrency Theory (CONCUR'96), pp. 703-718, Springer, Pisa, Italy. August 26-29, 1996, 1996, ISBN: 3-540-61604-7.

Links | BibTeX

286.

Dingel, Juergen

Modular Verification for Shared-Variable Concurrent Programs Inproceedings

In: 7th International Conference on Concurrency Theory (CONCUR'96), pp. 703-718, Springer, Pisa, Italy. August 26-29, 1996, 1996, ISBN: 3-540-61604-7.

Links | BibTeX

287.

Dingel, Juergen; Filkorn, Thomas

Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving Inproceedings

In: Wolper, Pierre (Ed.): 7th International Conference on Computer Aided Verification (CAV'95), pp. 54-69, Springer, Liège, Belgium. July 3-5, 1995, 1995, ISBN: 978-3-540-49413-3.

Abstract | Links | BibTeX

288.

Loewe, Michael; Dingel, Juergen

Canonical Derivations for the Single-Pushout Approach for Graph Transformation Inproceedings

In: Dagstuhl Seminar on Graph Transformations in Computer Science, pp. 54-69, Springer, Schloss Dagstuhl, Germany. January 1993, 1995.

BibTeX

289.

Dingel, Juergen; Filkorn, Thomas

Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving Inproceedings

In: Wolper, Pierre (Ed.): 7th International Conference on Computer Aided Verification (CAV'95), pp. 54-69, Springer, Liège, Belgium. July 3-5, 1995, 1995, ISBN: 978-3-540-49413-3.

Abstract | Links | BibTeX

290.

Loewe, Michael; Dingel, Juergen

Canonical Derivations for the Single-Pushout Approach for Graph Transformation Inproceedings

In: Dagstuhl Seminar on Graph Transformations in Computer Science, pp. 54-69, Springer, Schloss Dagstuhl, Germany. January 1993, 1995.

BibTeX

290 entries « 15 of 15 »