Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/lomaps/FrancescoSV96
AU - Francesco, Nicoletta De
AU - Santone, Antonella
AU - Vaglini, Gigliola
TI - A Non-Standard Semantics for Generating Reduced Transition Systems.
BT - Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
SP - 370
EP - 387
PY - 1996//
DO - 10.1007/3-540-62503-8_17
UR - https://doi.org/10.1007/3-540-62503-8_17
ER -
