promela是什么意思 promela在线中文翻译

promela是什么意思，promela在线翻译，promela中文意思，promela的中文翻译，promela发音，promela例句，promela词组短语，promela怎么翻译，单词promela的意思