Login
Abbr
.com
Abbr
eviations.com
Search Acronyms & Abbreviations:
abbreviation » word
word » abbreviation
word in definition
Meta Search
Shopping
The Web
random entry
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
#
just added
found
8
results for
Linear Temporal Logic
:
«
Click here for Top Sellers
»
Category Filter:
All (8)
Books (8)
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Ser...
Price:
$79.95
$52.00
Click here for more details
Fixpoint representations of characteristic sets of linear-ime temporal formulas: (ext...
Price:
?
Click here for more details
Model checking is refinement: Relating BuÌchi testing and linear-time temporal logic...
Price:
?
Click here for more details
Home
|
Add New Abbreviation
|
Your List
|
Tools
|
Become an Editor
|
Tell a Friend
|
Links
|
Awards
|
Testimonials
|
Press
|
News
|
APIs
new!
|
About
Copyright ©2004-2007
STANDS4 LLC. All rights reserved.
Terms of Use
|
Privacy Policy
|
Contact Us
