Entry Bicarregui:1991:RAV from lncs1991.bib

Last update: Sun Jun 12 02:46:39 2016

Index sections

Top | Symbols | Numbers | 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{Bicarregui:1991:RAV,
  author =       "J. C. Bicarregui and B. Ritchie",
  title =        "Reasoning About {VDM} Developments Using The {VDM}
                 Support Tool in Mural",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "551",
  pages =        "371--??",
  year =         "1991",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Mon May 13 08:51:55 MDT 1996",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs1991.bib",
  acknowledgement = ack-nhfb,
}

Related entries

development, 498(0)319, 499(0)168, 501(0)1, 501(0)7, 501(0)15, 501(0)25, 501(0)35, 501(0)49, 504(0)422, 505(0)83, 507(0)412, 509(0)44, 509(0)92, 509(0)99, 509(0)109, 509(0)114, 509(0)153, 509(0)178, 512(0)360, 512(0)360-1, 524(0)227, 527(0)298, 527(0)510, 544(0)3, 544(0)19, 544(0)35, 544(0)79, 544(0)193, 544(0)217, 546(0)74, 549(0)435, 550(0)380, 551(0)63, 551(0)149, 551(0)457, 551(0)477, 551(0)629, 552(0)320, 552(0)363, 552(0)406, 555(0)306, 563(0)207, 571(0)411, 571(0)547
mural, 551(0)673
reasoning, 497(0)675, 497(0)699, 497(0)733, 516(0)156, 520(0)357, 521(0)76, 521(0)223, 521(0)239, 521(0)279, 521(0)360, 521(0)377, 523(0)328, 525(0)143, 525(0)161, 531(0)136, 535(0)19, 535(0)214, 541(0)180, 542(0)203, 542(0)450, 542(0)540, 542(0)560, 543(0)38, 543(0)138, 548(0)81, 548(0)125, 548(0)141, 548(0)176, 548(0)190, 548(0)227, 548(0)232, 548(0)267, 548(0)277, 548(0)333, 548(0)352, 549(0)18, 549(0)137, 549(0)157, 549(0)430, 549(0)470, 551(0)343, 553(0)141, 560(0)71, 567(0)171, 567(0)221, 567(0)336, 567(0)417
Support, 497(0)610, 498(0)50, 501(0)35, 506(0)421, 523(0)496, 532(0)66, 546(0)501, 550(0)396, 550(0)424, 550(0)497, 550(0)499, 550(0)504, 550(0)512, 563(0)40, 563(0)162, 563(0)178, 563(0)251, 563(0)256
tool, 497(0)207, 498(0)50, 498(0)222, 498(0)240, 498(0)284, 499(0)65, 499(0)304, 501(0)35, 504(0)428, 504(0)440, 507(0)234, 507(0)307, 509(0)18, 509(0)44, 509(0)114, 509(0)153, 509(0)233, 514(0)227, 527(0)23, 527(0)127, 532(0)61, 532(0)68, 536(0)245, 542(0)193, 549(0)365, 549(0)445, 551(0)309, 551(0)356, 551(0)683, 551(0)691, 567(0)199, 571(0)87, 575(0)365
using, 473(0)98, 473(0)446, 496(0)75, 496(0)85, 496(0)90, 496(0)124, 496(0)176, 497(0)300, 497(0)415, 498(0)284, 498(0)319, 499(0)2, 499(0)125, 499(0)227, 499(0)252, 499(0)394, 502(0)33, 507(0)105, 507(0)293, 507(0)371, 508(0)354, 510(0)532, 510(0)661, 511(0)45, 511(0)121, 511(0)218, 511(0)256, 511(0)273, 511(0)314, 511(0)358, 512(0)219, 514(0)259, 514(0)378, 523(0)241, 527(0)361, 528(0)75, 531(0)33, 531(0)76, 531(0)96, 531(0)126, 531(0)146, 531(0)166, 531(0)176, 531(0)302, 539(0)183, 539(0)304, 541(0)278, 542(0)203, 542(0)286, 545(0)140, 545(0)374, 545(0)401, 545(0)438, 545(0)460, 547(0)71, 548(0)146, 548(0)292, 549(0)98, 549(0)250, 549(0)342, 551(0)106, 551(0)619, 551(0)645, 563(0)25, 563(0)56, 566(0)391, 566(0)431, 571(0)393, 571(0)571, 575(0)103, 575(0)255, 575(0)277, 575(0)299, 575(0)332, 575(0)410, 576(0)141, 576(0)420
VDM, 550(0)37, 551(0)45, 551(0)63, 551(0)279, 551(0)309, 551(0)324, 551(0)343, 551(0)526, 551(0)619, 551(0)670, 551(0)675, 551(0)681, 551(0)697, 552(0)141