Entry Hamaguchi:1991:BTR 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{Hamaguchi:1991:BTR,
  author =       "Kiyoharu Hamaguchi and Hiromi Hiraishi and Shuzo
                 Yajima",
  title =        "Branching Time Regular Temporal Logic for Model
                 Checking with Linear Time Complexity",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "531",
  pages =        "253--??",
  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

branching, 510(0)76, 511(0)65, 529(0)47, 575(0)2, 575(0)13, 575(0)410
Checking, 497(0)182, 526(0)1, 526(0)346, 527(0)250, 528(0)311, 531(0)1, 531(0)44, 531(0)86, 551(0)45, 560(0)1, 575(0)24, 575(0)203, 575(0)214, 575(0)225, 575(0)255, 575(0)322, 575(0)410
complexity, 473(0)174, 473(0)189, 496(0)405, 497(0)300, 497(0)582, 502(0)111, 502(0)565, 505(0)209, 505(0)252, 505(0)288, 507(0)1, 508(0)197, 508(0)322, 510(0)229, 510(0)615, 514(0)205, 519(0)1, 520(0)259, 523(0)15, 524(0)48, 525(0)3, 526(0)459, 526(0)615, 529(0)86, 529(0)157, 529(0)200, 529(0)220, 529(0)318, 529(0)395, 533(0)17, 533(0)300, 537(0)530, 539(0)281, 539(0)352, 547(0)114, 547(0)153, 547(0)168, 547(0)337, 557(0)190, 560(0)121, 560(0)152, 560(0)172, 560(0)212, 565(0)364, 575(0)343, 576(0)232
Hamaguchi, Kiyoharu, 531(0)44
Hiraishi, Hiromi, 531(0)44
linear, 473(0)174, 473(0)189, 483(0)146, 497(0)139, 497(0)161, 497(0)582, 502(0)504, 506(0)331, 507(0)105, 510(0)707, 511(0)458, 514(0)158, 514(0)205, 516(0)181, 516(0)233, 516(0)448, 519(0)412, 520(0)141, 521(0)173, 522(0)100, 526(0)513, 529(0)390, 529(0)405, 530(0)74, 537(0)34, 537(0)109, 538(0)1, 539(0)29, 539(0)259, 539(0)446, 541(0)1, 541(0)30, 542(0)132, 547(0)168, 553(0)289, 557(0)294, 557(0)316, 575(0)432
regular, 483(0)186, 508(0)164, 508(0)180, 510(0)641, 520(0)249, 523(0)427, 553(0)27, 575(0)410, 575(0)443
temporal, 497(0)733, 498(0)124, 498(0)540, 499(0)2, 520(0)103, 520(0)377, 522(0)100, 524(0)29, 525(0)161, 531(0)1, 531(0)23, 531(0)76, 531(0)136, 531(0)233, 531(0)272, 535(0)84, 541(0)165, 541(0)180, 542(0)226, 542(0)540, 546(0)313, 549(0)410, 551(0)681, 571(0)271, 571(0)341, 575(0)59, 575(0)125, 575(0)410, 575(0)477
time, 497(0)139, 497(0)383, 498(0)124, 502(0)504, 508(0)11, 510(0)76, 510(0)174, 510(0)217, 519(0)42, 519(0)412, 521(0)286, 521(0)443, 522(0)27, 522(0)88, 527(0)376, 532(0)538, 532(0)676, 536(0)233, 539(0)352, 541(0)151, 542(0)246, 542(0)589, 557(0)104, 557(0)284, 557(0)294, 557(0)316, 560(0)25, 560(0)224, 567(0)171, 571(0)53, 575(0)410, 575(0)432