Mohsin Ahmed
List of publications from the
DBLP Bibliography Server
-
FAQ
Ask others: ACM
DL
/
Guide
-
-
CSB
-
MetaPress
-
Google
-
Bing
-
Yahoo
1996
2
Mohsin Ahmed,
G. Venkatesh
: Dense Time Logic Programming.
J. Symb. Comput. 22
(5/6): 585-613 (1996)
1993
1
Mohsin Ahmed,
G. Venkatesh
: A Propositional Dense Time Logic (Based on Nested Sequences).
TAPSOFT 1993
: 584-598
Coauthor Index
1
G. Venkatesh
[
1
] [
2
]
Copyright ©
Thu Dec 24 12:43:15 2009 by
Michael Ley
(
ley@uni-trier.de
)