A Non-Standard Semantics for Generating Reduced Transition Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini. A Non-Standard Semantics for Generating Reduced Transition Systems. In Mads Dam, editor, Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers. Volume 1192 of Lecture Notes in Computer Science, pages 370-387, Springer, 1996.

This author has not been identified. Look up 'Nicoletta De Francesco' in GoogleThis author has not been identified. Look up 'Antonella Santone' in GoogleThis author has not been identified. Look up 'Gigliola Vaglini' in Google

runs on WebDSL