home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Please note:
This is a beta version of the new dblp website.
You can find the
classic dblp view of this page here
.
Benjamin Blanc
export records as
BibTeX
RDF
XML
RSS
dblp keys
ask others
Google
Google Scholar
MS Academic Search
ACM Digital Library
help us
contact dblp
Trier 1
Trier 2
Dagstuhl
by year
by type
classic-C
classic+C
-- show only --
Books and Theses
Journal Articles
Conference and Workshop Papers
Parts in Books or Collections
Editorship
Reference Works
Informal Publications
'10
'00
2010 – today
see FAQ
What is the meaning of the colors in the publication list?
2010
[j2]
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/BlancJMGA10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Benjamin Blanc
,
Christophe Junke
,
Bruno Marre
,
Pascale Le Gall
,
Olivier Andrieu
:
Handling State-Machines Specifications with GATeL.
Electr. Notes Theor. Comput. Sci. 264
(3): 3-17 (2010)
2000 – 2009
see FAQ
What is the meaning of the colors in the publication list?
2005
[j1]
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/MarreB05
ask others
Google
Google Scholar
MS Academic Search
PubZone
Bruno Marre
,
Benjamin Blanc
:
Test Selection Strategies for Lustre Descriptions in GATeL.
Electr. Notes Theor. Comput. Sci. 111
: 93-111 (2005)
Coauthor Index
see FAQ
What is the meaning of the colors in the coauthor index?
1
Olivier Andrieu
[j2]
2
Pascale Le Gall
[j2]
3
Christophe Junke
[j2]
4
Bruno Marre
[j2]
[j1]