External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification of Bounded Real-Time Distributed Systems With Mobility

Bogdan Aman, Gabriel Ciobanu. Verification of Bounded Real-Time Distributed Systems With Mobility. In Belgacem Ben Hedia, Florin Popentiu-Vladicescu, editors, Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015. Volume 1431 of CEUR Workshop Proceedings, pages 109-120, CEUR-WS.org, 2015. [doi]

Authors

Bogdan Aman

This author has not been identified. Look up 'Bogdan Aman' in Google

Gabriel Ciobanu

This author has not been identified. It may be one of the following persons: Look up 'Gabriel Ciobanu' in Google
runs on