Feedback
FAQs
Toggle navigation
Home
About
Introduction
Objectives
Features & Functionalities
Books
Theses
Serials
OCS
Contribute Your Data
Statistics
Download
IndCat Manual
OCS Manual_SOUL
OCS Manual_Koha
Contact us
All
Title
Researcher
Guide
University
Year
Subject
Department
Language
Place
Free Text
Exact-Search
Full-Text
University
Tata Institute of Fundamental Research [1]
Subject
Computer [1]
Computer Theory [1]
Electronics Engineering [1]
Engineering [1]
Language
English [1]
Year
1988 [1]
Researcher
Gangadharan, Venkatesh [1]
Guide
Shyamsundar, R K [1]
Place
Mumbai [1]
Per Page:
10
20
30
50
100
Sort By:
Title Asc
Title Desc
|<
1
>|
Search results for
' ' (0.005 seconds )
Total Hits :
1
1
Verification of digital systems using linear time temporal logic
Researcher:
G
a
n
g
a
d
h
a
r
a
n
,
V
e
n
k
a
t
e
s
h
Guide:
S
h
y
a
m
s
u
n
d
a
r
,
R
K
University:
Tata Institute of Fundamental Research
Language:
E
n
g
l
i
s
h
