Travelled to:1 × Canada
1 × Portugal
1 × The Netherlands
Collaborated with:M.Huhn P.Niebert ∅
Talks about:model (2) check (2) sequenti (1) communic (1) unforld (1) verif (1) state (1) logic (1) local (1) agent (1)
Person: Frank Wallner
DBLP: Wallner:Frank
Contributed to:
1999
1998
1998Wrote 3 papers:
- FoSSaCS-1999-HuhnNW #communication #logic #model checking
- Model Checking Logics for Communicating Sequential Agents (MH, PN, FW), pp. 227–242.
- CAV-1998-Wallner #ltl #model checking #using
- Model Checking LTL Using Net Unforldings (FW), pp. 207–218.
- TACAS-1998-HuhnNW #verification
- Verification Based on Local States (MH, PN, FW), pp. 36–51.