TY - RPRT TI - Attenuation Regulation as a Term Rewriting System AU - Eugene Asarin AU - Thierry Cachat AU - Alexander Seliverstov AU - Tayssir Touili AU - Vassily Lyubetsky PY - 2007 UR - https://arxiv.org/abs/0706.2126 ID - 0706.2126 ER -