Author:
Nepomniaschy Valery A.,Alekseev Gennady I.,Argirov Victor S.,Beloglazov Dmitri M.,Bystrov Alexander V.,Chetvertakov Eugene A.,Churina Tatiana G.,Mylnikov Sergey P.,Novikov Ruslan M.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;A. Aalto,2003
2. Berthomieu, B., Diaz, M.: Modelling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Eng. 17(3), 259–273 (1991)
3. Churina, T.G., Argirov, V.S.: Modeling SDL specifications using modified HTT-nets. Institute of Informatics Systems, Russian Academy of Sciences, Novosibirsk, Preprint, vol. 124, pp. 1–62 (2005) (in Russian)
4. Cohen, R., Segall, A.: An efficient reliable ring protocol. IEEE Transactions on Communications 39(11), 1616–1624 (1991)
5. Lecture Notes in Computer Science;Y. Dong,1999
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献