Sciweavers

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

8

RTA
2007
Springer

favoriteEmaildiscussreport

102views Theoretical Computer Science» more RTA 2007»

On the Completeness of Context-Sensitive Order-Sorted Specifications

13 years 11 months ago

On the Completeness of Context-Sensitive Order-Sorted Specifications

Download whoisjoe.info

Joe Hendrix, José Meseguer

Real-time Traffic

RTA 2007 | Theoretical Computer Science |

claim paper

Related Content

» A Sufficient Completeness Checker for Linear OrderSorted Specifications Modulo Axioms

» A ContextSensitive RuleBased Architecture for a Smart Building Environment

» Complete This Puzzle A Connectionist Approach to Accurate Web Recommendations Based on a C...

» Conversation specification a new approach to design and analysis of eservice composition

Post Info
More Details (n/a)

Added	09 Jun 2010
Updated	09 Jun 2010
Type	Conference
Year	2007
Where	RTA
Authors	Joe Hendrix, José Meseguer

Comments (0)