Asis Goswami Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1992
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAsis Goswami, Michael Bell, Mathai Joseph: ISL: An Interval Logic for the Specification of Real-time Programs. FTRTFT 1992: 1-20
1988
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAsis Goswami, Mathai Joseph: Semancitcs of Real-time Distributed Programs. Concurrency 1988: 292-306
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathai Joseph, Asis Goswami: What's 'Real' about Real-Time Systems? IEEE Real-Time Systems Symposium 1988: 78-85
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathai Joseph, Asis Goswami: Semantics for Specifying Real-Time Systems. Specification and Verification of Concurrent Systems 1988: 272-275

Coauthor Index

1Michael Bell [4]
2Mathai Joseph [1] [2] [3] [4]

Copyright © Wed Nov 11 17:18:37 2009 by Michael Ley (ley@uni-trier.de)