On ω-Regular Trace Languages Classification and Synthesis Namit Chaturvedi and Marcus Gelderie GAMES 2012 - Chaturvedi - Document - PDFSEARCH.IO

First Page	Meta Content
	On ω-Regular Trace Languages Classification and Synthesis Namit Chaturvedi and Marcus Gelderie GAMES 2012 Add to Reading List Document Date: 2012-09-07 05:30:52 Open Document File Size: 551,46 KB Share Result on Facebook Person Marcus Gelderie / / SocialTag Independence Computer science Applied mathematics Mathematics Automata theory Ω-automaton Regular language

On ω-Regular Trace Languages Classification and Synthesis Namit Chaturvedi and Marcus Gelderie GAMES 2012Add to Reading List