Journals in DBLP
Robert L. Glass Editor's corner My readers write: Some thoughts on formal methods. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1994, v:27, n:2, pp:71-72 [Journal ] M. Portman , Hussein S. M. Zedan The development of imprecise real-time systems. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1994, v:27, n:2, pp:73-83 [Journal ] Waqar Hague , Johnny S. Wong Distributed real-time nested transactions. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1994, v:27, n:2, pp:85-95 [Journal ] Carlo Ghezzi , Sandro Morasca , Mauro Pezzè Validating timing requirements for time basic net specifications. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1994, v:27, n:2, pp:97-117 [Journal ] Mohamed Bettaz , Mourad Maouche , Moussa Soualmi , Madani Boukebeche On reusing ATNet modules in protocol specification. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1994, v:27, n:2, pp:119-128 [Journal ] Wuu Yang How to merge program texts. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1994, v:27, n:2, pp:129-135 [Journal ] S. Mansoor Sarwar , James A. Davis New families of combinators for efficient list manipulation. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1994, v:27, n:2, pp:137-146 [Journal ] Paul R. Wilson , Sheetal V. Kakkad , Shubhendu S. Mukherjee Anomalies and adaptation in the analysis and development of prepaging policies. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1994, v:27, n:2, pp:147-153 [Journal ]