Inference of Message Sequence Charts (2003)

Cached

Download Links

by Rajeev Alur , Kousha Etessami , Mihalis Yannakakis
Venue:Software Concepts and Tools
Citations:202 - 12 self

Active Bibliography

Abstract Inference of Message Sequence Charts ∗ – U. Pennsylvania, Kousha Etessami, Mihalis Yannakakis - 2002
Inference of Message Sequence Charts Abstract — Software designers draw – unknown authors
555 Wrapper Induction for Information Extraction – Nicholas Kushmerick - 1997
2176 A theory of timed automata – Rajeev Alur - 1999
1525 RADAR: an in-building RF-based user location and tracking system – Paramvir Bahl, Venkata N. Padmanabhan - 2000
792 Introduction to Algorithms, Second Edition – T H Leiserson, C E Cormen, R L Rivest, C Stein - 2001
527 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
687 Learning quickly when irrelevant attributes abound: A new linear-threshold algorithm – Nick Littlestone - 1988
1754 A Theory of the Learnable – L. G. Valiant - 1984