| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Adrianna Alexander Adrianna Alexander: Composition of Temporal Logic Specifications. ICATPN 2004 : 98-116 Adrianna Alexander, Wolfgang Reisig : Compositional Temporal Logic Based on Partial Order. TIME 2004 : 125-132 Adrianna Alexander, Wolfgang Reisig : Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. ACSD 2003 : 167-176 1 [ 1 ] [ 2 ]  ©2005 Association for Computing Machinery |
