view
electronic edition via DOI (open access)
references & citations
authority control:
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
journals/fac/Vassiliou-GiolesS98
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/journals/fac/Vassiliou-GiolesS98
Theofanis Vassiliou-Gioles
,
Ina Schieferdecker
:
Case Study in Protocol Validation: Validating an ATM Signalling Protocol.
Formal Aspects Comput.
10
(
5-6
)
:
483-508
(
1998
)