@inproceedings{Strejcek2002,
 address = {Nantes (France)},
 author = {Jan Strejček},
 booktitle = {Proceedings of summer school MOVEP~2002},
 keywords = {stuttering; constrained rewrite systems},
 language = {eng},
 location = {Nantes (France)},
 pages = {403-408},
 publisher = {IRCCyN, Ecole Centrale de Nantes, France},
 title = {Boundaries and Efficiency of Verification},
 year = {2002}
}