view
electronic edition via DOI
electronic edition @ ieeecomputersociety.org
electronic edition @ acm.org
unpaywalled version
references & citations
authority control:
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
conf/memocode/WodeyCHC03
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/conf/memocode/WodeyCHC03
Pierre Wodey
,
Geoffrey Camarroque
,
Fabrice Baray
,
Richard Hersemeule
,
Jean-Philippe Cousin
:
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect.
MEMOCODE
2003
:
204-
view
electronic edition via DOI
electronic edition @ ieeecomputersociety.org
electronic edition @ acm.org
unpaywalled version
references & citations
authority control:
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
conf/memocode/ZillerS03
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/conf/memocode/ZillerS03
Roberto Ziller
,
Klaus Schneider
:
A Generalised Approach to Supervisor Synthesis.
MEMOCODE
2003
:
217-226
view
table of contents in dblp
electronic edition @ ieee.org
electronic edition @ computer.org
electronic edition @ acm.org
no references & citations available
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
conf/memocode/2003
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/conf/memocode/2003
1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings.
IEEE Computer Society
2003
, ISBN
0-7695-1923-7
[contents]