Skip to main content
Home
Highlights
Events
Hosted Events
Job & Study Opportunities
Press
Contacts
Research
Publications
Projects
People
Resources
Dataset
Software
Blog
Search form
Search
Publications
You are here
Home
»
Research
Export 5 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
[
Title
]
Type
Year
Filters:
Author
is
Diego Latella
[Clear All Filters]
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
G
F. Giannotti
and
Latella, D.
,
“
Gate Splitting in LOTOS Specifications Using Abstract Interpretation
”
, in
TAPSOFT
, 1993, pp. 437-452.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
and
Latella, D.
,
“
Gate Splitting in LOTOS Specifications Using Abstract Interpretation
”
,
Sci. Comput. Program.
, vol. 23, pp. 127-149, 1994.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
U
F. Giannotti
and
Latella, D.
,
“
Using Abstract Interpretation for Gate splitting in LOTOS Specifications
”
, in
WSA
, 1992, pp. 194-204.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Copyright © 2014 - KDD Lab