On checking parallel real-time systems for linear duration invariants

収録刊行物

• Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems

  Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems 61-71, 2002-11-27

  IEEE Comput. Soc