DBLP Record 'journals/mlq/MontagnaPT02'

BibTeX

@article{DBLP:journals/mlq/MontagnaPT02,
  author    = {Franco Montagna and
               G. Michele Pinna and
               Elisa B. P. Tiezzi},
  title     = {Investigations on Fragments of First Order Branching Temporal
               Logic},
  journal   = {Math. Log. Q.},
  volume    = {48},
  number    = {1},
  year      = {2002},
  pages     = {51-62},
  ee        = {http://dx.doi.org/10.1002/1521-3870(200201)48:1$<$51::AID-MALQ51$>$3.0.CO;2-S},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}