iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/amast/BaumFM98.rdf
Gabriel Baum et al.: A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. (1998) conf/amast/BaumFM98 10.1007/3-540-49253-4_9 A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. 3 Gabriel Baum 1 Marcelo F. Frias 2 T. S. E. Maibaum 3 91-105 AMAST AMAST 1998 1999 provenance information for RDF data of dblp record 'conf/amast/BaumFM98' 2017-05-23T14:54:57+0200