Timeout Order Abstraction for Time-Parametric Verification of Loosely Synchronized Real-Time Distributed Systems

URL to paper listed on conference site.

Bibliographic Details
Main Authors:	Umeno, Shinya, Lynch, Nancy Ann
Other Authors:	Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format:	Article
Language:	en_US
Published:	Artist Consortium 2011
Online Access:	http://hdl.handle.net/1721.1/67828 https://orcid.org/0000-0003-3045-265X

Internet