skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

A Non-Standard Semantics for Generating Reduced Transition Systems

De Francesco, N., A. Santone, and G. Vaglini, "A Non-Standard Semantics for Generating Reduced Transition Systems", Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, vol. 1192: Springer, pp. 370-387, 1996.