Skip to contents

Brim, Luboš [Editor] ; CONCUR 13 2002 Brünn

Concurrency theory : 13th international conference, Brno, Czech Republic, August 20 - 23, 2002 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2421
Brim, Luboš [Editor] ; MFCS 23 1998 Brünn

Mathematical foundations of computer science 1998 : 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1450
Brim, Luboš [Editor]; Haverkort, Boudewijn [Other]; Leucker, Martin [Other]; Pol, Jaco van de [Other] ; International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn, PDMC 5 2006 Bonn

Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4346
Brim, Luboš [Author] ; Jančar, Petr [Other]; Křetínský, Mojmír [Other]; Kučera, Antonin [Other]

CONCUR 2002 — Concurrency Theory : 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

Published in: Lecture notes in computer science ; 2421
Brim, Luboš [Author] ; Gruska, Josef [Other]; Zlatuška, Jiři [Other]

Mathematical Foundations of Computer Science 1998 : 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

Published in: Lecture notes in computer science ; 1450
Chaloupka, Jakub [Author]; Brim, Luboš [Author] ; Jakub Chaloupka and Luboš Brim [Contributor]

Faster Algorithm for Mean-Payoff Games

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009
Pastva, Samuel [Author] ; Beneš, Nikola [Other]; Brim, Luboš [Other]; Šafránek, David [Other]

Symbolic Coloured SCC Decomposition

View online
Schließen

Access

... to video recording via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

Published in: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)
Bal, Henri E. [Author]; Brim, Lubos [Author]; Leucker, Martin [Author] ; Henri E. Bal and Lubos Brim and Martin Leucker [Contributor]

08332 Abstracts Collection – Distributed Verification and Grid Computing

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
Bal, Henri E. [Author]; Brim, Lubos [Author]; Leucker, Martin [Author] ; Henri E. Bal and Lubos Brim and Martin Leucker [Contributor]

08332 Executive Summary – Distributed Verification and Grid Computing

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
Brim, Luboš [Other]; Haverkort, Boudewijn [Other]; Leucker, Martin [Other]; Pol, Jaco van de [Other]

Formal Methods Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

Published in: Lecture notes in computer science ; 4346
Brim, Lubos [Author]; Edelkamp, Stefan [Author]; Hansen, Eric A. [Author]; Sanders, Peter [Author] ; Lubos Brim and Stefan Edelkamp and Eric A. Hansen and Peter Sanders [Contributor]

09491 Abstracts Collection – Graph Search Engineering

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Verstoep, Kees [Author]; Bal, Henri E. [Author]; Barnat, Jiri [Author]; Brim, Lubos [Author] ; Kees Verstoep and Henri E. Bal and Jiri Barnat and Lubos Brim [Contributor]

Efficient Large-Scale Model Checking

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
Luboš Brim

Promlčení práva kapitálové obchodní společnosti na splacení vkladu

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2024

Published in: Časopis pro Právní Vědu a Praxi, 32 (2024) 1
Brim, Luboš

Omezená právní osobnost pobočného spolku a její důsledky

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Masaryk University Press, 2019

Published in: Časopis pro právní vědu a praxi, 27 (2019) 2, Seite 211
Luboš Brim

Ustanovení zástupce nemajetnému účastníkovi v občanském soudním řízení

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2013

Published in: Časopis pro Právní Vědu a Praxi, 20 (2013) 4
Brim, Luboš

Formal Methods: Applications and Technology: Distributed Verification: Exploring the Power of Raw Computing Power

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2007

Published in: Formal Methods: Applications and Technology (2007), Seite 23-34
BRIM, LUBOS

Reviews

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford University Press (OUP), 1995

Published in: Logic Journal of IGPL, 3 (1995) 4, Seite 673-674
BRIM, LUBOŠ

Reviews

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford University Press (OUP), 1994

Published in: Journal of Logic and Computation, 4 (1994) 6, Seite 977-978
BRIM, LUBOŠ

Reviews

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford University Press (OUP), 1993

Published in: Journal of Logic and Computation, 3 (1993) 4, Seite 441-442
Brim, Luboš; Barnat, Jiří

Platform Dependent Verification: On Engineering Verification Tools for 21st Century

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2011

Published in: Electronic Proceedings in Theoretical Computer Science, 72 (2011), Seite 1-12

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication