Sciweavers

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

6

LPAR
2010
Springer

favoriteEmaildiscussreport

123views Automated Reasoning» more LPAR 2010»

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

13 years 2 months ago

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

Download www.cs.nmsu.edu

Gourinath Banda, John P. Gallagher

Real-time Traffic

Automated Reasoning | LPAR 2010 |

claim paper

Related Content

» A MultiLevel ConstraintBased Controller for the Dynamo98 Robot Soccer Team

» Design and Implementation of an ECA Rule Markup Language

» ConstraintBased Local Search for the Automatic Generation of Architectural Tests

» A Customizable Coordination Service for Autonomous Agents

» Complexity Analysis of H264 Decoder for FPGA Design

» MORE for less model recovery from visual interfaces for multidevice application design

» Operational and Epistemic Approaches to Protocol Analysis Bridging the Gap

» Integration Problems in Telephone Feature Requirements

» An ActionStateBased ModelChecking Approach for the Analysis of Communication Protocols for...

Post Info
More Details (n/a)

Added	14 Feb 2011
Updated	14 Feb 2011
Type	Journal
Year	2010
Where	LPAR
Authors	Gourinath Banda, John P. Gallagher

Comments (0)