Berndt Farwer

Available identifiers

Publication	Date of Publication	Type
On the (un-)decidability of model-checking resource-bounded agents	2011-05-11	Paper
Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL	2010-11-09	Paper
Perspectives of System Informatics	2010-01-05	Paper
Object Nets for Mobility	2009-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q5506359	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5422279	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5486054	2006-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q5486055	2006-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q5472935	2006-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4818734	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4818735	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q3043830	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4461754	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4461955	2004-05-18	Paper
ω-Automata	2003-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q3146275	2002-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q2775862	2002-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q2715877	2001-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q4507814	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4264233	1999-09-16	Paper

This page was built for person: Berndt Farwer