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
Using Abstract Interpretation for Gate splitting in LOTOS Specifications
You are here
Home
Title
Using Abstract Interpretation for Gate splitting in LOTOS Specifications
Publication Type
Conference Paper
Year of Publication
1992
Authors
Giannotti, F
,
Latella, D
Conference Name
WSA
Taxonomy upgrade extras:
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Copyright © 2014 - KDD Lab