Entry Roberts:1988:FSQ from compj.bib

Last update: Sun Nov 30 02:31:30 MST 2003                Valid HTML 3.2!

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{Roberts:1988:FSQ,
  author =       "W. T. Roberts",
  title =        "A Formal Specification of the {QMC} Message System:
                 the Underlying Abstract Model",
  journal =      j-COMP-J,
  volume =       "31",
  number =       "4",
  pages =        "313--324",
  month =        aug,
  year =         "1988",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Mar 25 13:51:56 MST 1997",
  bibsource =    "Compendex database; Misc/misc.1.bib;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_04/tiff/313.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_04/tiff/314.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_04/tiff/315.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_04/tiff/316.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_04/tiff/317.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_04/tiff/318.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_04/tiff/319.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_04/tiff/320.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_04/tiff/321.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_04/tiff/322.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_04/tiff/323.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_04/tiff/324.tif",
  acknowledgement = ack-nhfb,
  affiliation =  "Queen Mary Coll, London, Engl",
  affiliationaddress = "Queen Mary Coll, London, Engl",
  classcodes =   "C6110 (Systems analysis and programming); C6180 (User
                 interfaces)",
  classification = "722; 723",
  corpsource =   "Dept. of Comput. Sci., Queen Mary Coll., London, UK",
  keywords =     "abstract algebra; administrative database; algebraic
                 specification; axiomatic; computer interfaces; database
                 systems; formal specification; Mary College Message
                 System; message database; message system; QMC Message
                 System; Queen; specification; systems analysis;
                 underlying abstract model; user interface; user
                 interfaces",
  treatment =    "P Practical",
}

Related entries