We are gradually moving the dblp web pages to HTTPS, and you are still viewing this page via HTTP.
Please click here to switch to HTTPS.
default search action
combined dblp search
author search
venue search
publication search
Semantic Scholar search
Authors:
no matches
Venues:
no matches
Publications:
no matches
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
Electronic Notes in Theoretical Computer Science, Volume 195
help us
How can I correct errors in dblp?
contact dblp
Trier 1
Trier 2
Dagstuhl
>
Home
>
Journals
>
Electronic Notes in Theoretical Computer Science
Volume 195, January 2008
Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006)
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/entcs/MoreiraR08
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/entcs/MoreiraR08
Anamaria Martins Moreira
,
Leila Ribeiro
:
Preface.
1
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/entcs/BarbozaASL08
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/entcs/BarbozaASL08
Frederico J. R. Barboza
,
Aline Maria Santos Andrade
,
Flávio Morais de Assis Silva
,
George Lima
:
Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems.
3-20
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/entcs/BonifacioMSM08
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/entcs/BonifacioMSM08
Adilson Luiz Bonifácio
,
Arnaldo Vieira Moura
,
Adenilso da Silva Simão
,
José Carlos Maldonado
:
Towards Deriving Test Sequences by Model Checking.
21-40
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/entcs/BeekGJ08
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/entcs/BeekGJ08
Maurice H. ter Beek
,
Fabio Gadducci
,
Dirk Janssens
:
A Calculus for Team Automata.
41-55
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/entcs/FerreiraSM08
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/entcs/FerreiraSM08
Patrícia Ferreira
,
Augusto Sampaio
,
Alexandre Mota
:
Viewing CSP Specifications with UML-RT Diagrams.
57-74
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/entcs/XavierCS08
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/entcs/XavierCS08
Manuela Xavier
,
Ana Cavalcanti
,
Augusto Sampaio
:
Type Checking Circus Specifications.
75-93
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/entcs/HolscherKK08
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/entcs/HolscherKK08
Karsten Hölscher
,
Renate Klempien-Hinrichs
,
Peter Knirsch
:
Undecidable Control Conditions in Graph Transformation Units.
95-111
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/entcs/JuniorL08
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/entcs/JuniorL08
Francisco Heron de Carvalho Junior
,
Rafael Dueire Lins
:
An Institutional Theory for #-Components.
113-132
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/entcs/BenevidesDPLR08
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/entcs/BenevidesDPLR08
Mario R. F. Benevides
,
Carla A. D. M. Delgado
,
Carlos López Pombo
,
Luis Lopes
,
Ricardo Ribeiro
:
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems.
133-149
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/entcs/DaviesFW08
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/entcs/DaviesFW08
Jim Davies
,
David Faitelson
,
James Welch
:
Domain-specific Semantics and Data Refinement of Object Models.
151-170
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/entcs/CabralS08
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/entcs/CabralS08
Gustavo Cabral
,
Augusto Sampaio
:
Formal Specification Generation from Requirement Documents.
171-188
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/entcs/MassoniGB08
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/entcs/MassoniGB08
Tiago Massoni
,
Rohit Gheyi
,
Paulo Borba
:
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs.
189-209
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/entcs/MiddelkoopHKL08
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/entcs/MiddelkoopHKL08
Ronald Middelkoop
,
Cornelis Huizing
,
Ruurd Kuiper
,
Erik J. Luit
:
Invariants for Non-Hierarchical Object Structures.
211-229
maintained by
at
home
news
statistics
browse
persons
conferences
journals
series
search
search dblp
lookup by ID
about
f.a.q.
team
legal bits