BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Italy
Collaborated with:
M.Leuschel R.H.Bordini L.A.Dennis M.Fisher
Talks about:
program (1) prolog (1) object (1) verif (1) petri (1) multi (1) model (1) check (1) autom (1) agent (1)

Person: Berndt Farwer

DBLP DBLP: Farwer:Berndt

Contributed to:

ASE 20082008
PPDP 20042004

Wrote 2 papers:

ASE-2008-BordiniDFF #automation #multi #source code #verification
Automated Verification of Multi-Agent Programs (RHB, LAD, BF, MF), pp. 69–78.
PPDP-2004-FarwerL #model checking #petri net #prolog
Model checking object petri nets in prolog (BF, ML), pp. 20–31.

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.