| Document Date: 2012-03-09 05:05:26
Open Document File Size: 582,75 KBShare Result on Facebook
City Ostrava / / Company LG / M0 / / Country Czech Republic / / Event Product Issues / FDA Phase / Product Recall / / IndustryTerm systematic search / computing / labelled transition systems / i.e. systems / transition systems / / Organization U.S. Securities and Exchange Commission / / Person Petr Jan / / Position author / rest-head / player / / Product M1 / Proposition / 2M1 / / ProvinceOrState North Carolina / / Technology DOM / av / pda / / URL http /
SocialTag |
Bisimulation Equivalence for First-Order Grammars Petr Janˇcar Techn. Univ. Ostrava, Czech Republic; url: http://www.cs.vsb.cz/jancar/ 8 Mare.g. for trying to derive more results about the complexity