Entry Ferrari:1997:ABV from lncs1997a.bib

Last update: Wed Feb 5 04:57:35 MST 2014

Index sections

Top | Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Ferrari:1997:ABV,
  author =       "G. Ferrari and G. Ferro and S. Gnesi and U.
                 Montanari",
  title =        "An Automata Based Verification Environment for Mobile
                 Processes",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "1217",
  pages =        "275--??",
  year =         "1997",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri Aug 22 11:59:49 MDT 1997",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs1997a.bib",
  acknowledgement = ack-nhfb,
}

Related entries

automata, 1200(0)55, 1200(0)117, 1200(0)295, 1200(0)427, 1200(0)583, 1201(0)75, 1201(0)81, 1201(0)171, 1201(0)331, 1201(0)346, 1203(0)241, 1214(0)879, 1218(0)119, 1231(0)111, 1231(0)141, 1231(0)169, 1243(0)135, 1254(0)179, 1256(0)582, 1259(0)437, 1260(0)6, 1260(0)26, 1260(0)35, 1260(0)50, 1265(0)115, 1273(0)113, 1273(0)248, 1273(0)361, 1276(0)422, 1277(0)109, 1277(0)136, 1277(0)344, 1279(0)245, 1279(0)329, 1279(0)400, 1279(0)411, 1285(0)157, 1295(0)299, 1295(0)378, 1298(0)273
based, 1186(0)230, 1193(0)141, 1199(0)1, 1202(0)171, 1205(0)253, 1205(0)639, 1205(0)737, 1208(0)238, 1213(0)297, 1214(0)712, 1215(0)140, 1215(0)365, 1224(0)57, 1226(0)110, 1226(0)484, 1226(0)545, 1226(0)546, 1230(0)507, 1233(0)280, 1233(0)306, 1238(0)35, 1240(0)811, 1240(0)962, 1240(0)1038, 1240(0)1260, 1242(0)153, 1245(0)181, 1248(0)367, 1254(0)7, 1254(0)303, 1257(0)589, 1258(0)226, 1259(0)220, 1259(0)437, 1263(0)14, 1263(0)112, 1266(0)223, 1267(0)166, 1270(0)139, 1270(0)194, 1273(0)174, 1274(0)281, 1274(0)410, 1276(0)186, 1277(0)201, 1277(0)409, 1280(0)149, 1281(0)562, 1285(0)157, 1285(0)196, 1285(0)216, 1286(0)76, 1289(0)233, 1293(0)87, 1294(0)198, 1294(0)264, 1294(0)385, 1294(0)485, 1296(0)271, 1296(0)313, 1296(0)345
environment, 1193(0)103, 1205(0)389, 1205(0)399, 1211(0)343, 1214(0)851, 1225(0)31, 1225(0)117, 1225(0)480, 1225(0)1002, 1225(0)1010, 1225(0)1026, 1235(0)108, 1235(0)201, 1236(0)183, 1237(0)45, 1238(0)211, 1242(0)245, 1245(0)6, 1249(0)366, 1266(0)53, 1272(0)17, 1274(0)74, 1274(0)166, 1274(0)363, 1274(0)394, 1277(0)241, 1286(0)1, 1292(0)369
Ferrari, G., 1214(0)712
mobile, 1188(0)207, 1192(0)296, 1219(0)39, 1219(0)86, 1219(0)98, 1219(0)111, 1219(0)123, 1219(0)136, 1219(0)149, 1219(0)162, 1222(0)3, 1222(0)25, 1222(0)93, 1222(0)111, 1222(0)201, 1222(0)245, 1222(0)263, 1240(0)1364, 1259(0)234, 1267(0)230, 1274(0)253, 1274(0)350, 1274(0)363, 1274(0)379, 1282(0)220, 1282(0)338, 1285(0)126, 1286(0)32, 1296(0)33
Montanari, U., 1295(0)52
process, 1190(0)401, 1192(0)296, 1199(0)31, 1199(0)144, 1201(0)124, 1201(0)213, 1211(0)66, 1214(0)285, 1217(0)259, 1225(0)1018, 1226(0)554, 1231(0)141, 1231(0)199, 1231(0)263, 1231(0)340, 1231(0)353, 1235(0)81, 1240(0)660, 1241(0)170, 1244(0)1, 1245(0)123, 1248(0)136, 1254(0)119, 1256(0)408, 1256(0)419, 1256(0)430, 1256(0)482, 1256(0)549, 1256(0)571, 1262(0)238, 1266(0)509, 1268(0)162, 1277(0)145, 1278(0)88, 1279(0)85, 1281(0)250, 1282(0)374, 1282(0)426, 1295(0)129
verification, 1200(0)153, 1201(0)154, 1201(0)301, 1201(0)346, 1205(0)573, 1206(0)203, 1206(0)319, 1206(0)377, 1206(0)385, 1207(0)20, 1207(0)38, 1214(0)550, 1217(0)1, 1217(0)334, 1231(0)22, 1231(0)169, 1231(0)280, 1234(0)419, 1254(0)3, 1254(0)7, 1254(0)48, 1254(0)131, 1254(0)179, 1254(0)376, 1254(0)452, 1275(0)69, 1275(0)171, 1275(0)231, 1277(0)70