Tristan M. Behrens

List of publications from the DBLP Bibliography Server - FAQ

2007

1 EE Tristan M. Behrens, Jürgen Dix: Model checking multi-agent systems with logic based Petri nets. Ann. Math. Artif. Intell. 51(2-4): 81-121 (2007)

2007
1	EE	Tristan M. Behrens, Jürgen Dix: Model checking multi-agent systems with logic based Petri nets. Ann. Math. Artif. Intell. 51(2-4): 81-121 (2007)

Coauthor Index