skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
CONCUR 2003 - Concurrency Theory
CONCUR 2003 - Concurrency Theory
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR 2003 - Concurrency Theory

International Conference on Concurrency Theory Roberto M Amadio; Denis Lugiez

Springer Berlin Heidelberg 2003

Acesso online

2
CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedings

International Conference on Concurrency Theory (14th 2003 Marseille, France) Roberto M Amadio; Denis Lugiez

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2761 )(Acessar)

3
A partial order semantics approach to the clock explosion problem of timed automata
A partial order semantics approach to the clock explosion problem of timed automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

A partial order semantics approach to the clock explosion problem of timed automata

Lugiez, D. ; Niebert, P. ; Zennou, S.

Theoretical computer science, 2005-11, Vol.345 (1), p.27-59 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
4
The Element of Surprise in Timed Games
The Element of Surprise in Timed Games
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The Element of Surprise in Timed Games

de Alfaro, Luca ; Faella, Marco ; Henzinger, Thomas A. ; Majumdar, Rupak ; Stoelinga, Mariëlle

CONCUR 2003 - Concurrency Theory, 2003, p.144-158 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
The regular viewpoint on PA-processes
The regular viewpoint on PA-processes
Material Type:
Artigo 		Adicionar ao Meu Espaço

The regular viewpoint on PA-processes

Lugiez, D. ; Schnoebelen, Ph

Theoretical computer science, 2002-03, Vol.274 (1), p.89-115 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
A good class of tree automata. Application to inductive theorem proving
A good class of tree automata. Application to inductive theorem proving
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A good class of tree automata. Application to inductive theorem proving

LUGIEZ, D

Lecture notes in computer science, 1998, p.409-420 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
7
Model Checking a Path
Model Checking a Path
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Model Checking a Path

Markey, N. ; Schnoebelen, P.

CONCUR 2003 - Concurrency Theory, 2003, p.251-265 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata
A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata

Lugiez, D. ; Niebert, P. ; Zennou, S.

Lecture notes in computer science, 2004, p.296-311 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
The regular viewpoint on PA-processes
The regular viewpoint on PA-processes
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The regular viewpoint on PA-processes

Lugiez, D. ; Schnoebelen, Ph

CONCUR'98 Concurrency Theory, 1998, p.50-66 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Multi-valued Model Checking via Classical Model Checking
Multi-valued Model Checking via Classical Model Checking
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Multi-valued Model Checking via Classical Model Checking

Gurfinkel, Arie ; Chechik, Marsha

CONCUR 2003 - Concurrency Theory, 2003, p.266-280 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (45)
  2. Artigos  (32)
  3. Book Chapters  (11)
  4. Livros  (2)
  5. Dissertações  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (6)
  2. 1988Até1997  (7)
  3. 1998Até2002  (12)
  4. 2003Até2008  (54)
  5. Após 2008  (12)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (85)
  2. Francês  (7)
  3. Japonês  (4)
  4. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.