BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
Collaborated with:
F.Aarts B.Jonsson
Talks about:
protocol (1) communic (1) abstract (1) regular (1) infinit (1) generat (1) state (1) model (1) infer (1) use (1)

Person: Johan Uijen

DBLP DBLP: Uijen:Johan

Contributed to:

ICTSS 20102010

Wrote 1 papers:

ICTSS-2010-AartsJU #abstraction #communication #generative #infinity #modelling #protocol #using
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction (FA, BJ, JU), pp. 188–204.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.