Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

109

Voted

FUIN
2007

90views more FUIN 2007»

Static BiLog: a Unifying Language for Spatial Structures

15 years 2 months ago

Static BiLog: a Unifying Language for Spatial Structures

Download www.dsi.unive.it

Giovanni Conforti, Damiano Macedonio, Vladimiro Sa

Real-time Traffic

FUIN 2007 |

claim paper

Related Content

» Spatial Logics for Bigraphs

» On the interpretation of binary associations in the Unified Modelling Language

» UTML Unified Transaction Modeling Language

» A lightweight static approach to analyzing UML behavioral properties

» Spatial Analysis of BioAmbients

» From a Conceptual Framework for Agents and Objects to a MultiAgent System Modeling Languag...

» Integrating Nominal and Structural Subtyping

» Spatial Role Labeling Task Definition and Annotation Scheme

» Spatial Tree Logics to reason about Semistructured Data

Post Info
More Details (n/a)

Added	14 Dec 2010
Updated	14 Dec 2010
Type	Journal
Year	2007
Where	FUIN
Authors	Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone

Comments (0)