G
[GV05] Jaco Geldenhuys and Antti Valmari. More Efficient On-the-fly LTL Verification with Tarjan's Algorithm. Theoretical Computer Science 345(1):60-82. Elsevier, November 2005. 
@article{tcs345(1)-GV,
  author =              {Geldenhuys, Jaco and Valmari, Antti},
  title =               {More Efficient On-the-fly {LTL} Verification with
                         {T}arjan's Algorithm},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {345},
  number =              {1},
  pages =               {60-82},
  year =                {2005},
  month =               nov,
}
List of authors