From Liveness to Promptness

Kupferman, O.; Piterman, N.; Vardi, M.Y.

From Liveness to Promptness (bibtex)

@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{springer="© Springer-Verlag"}
@InProceedings{KPV07,
  author = 	 {O. Kupferman and N. Piterman and M.Y. Vardi},
  title = 	 {From Liveness to Promptness},
  booktitle = {18th Conference on Computer Aided Verification},
  pages = 	 {411-424},
  year = 	 {2007},
  volume = 	 {4590},
  series = 	 lncs,
  publisher = springer,
  url = {2007/KPV07.html},
  pdf = {2007/KPV07.pdf},
  keywords = {Model Checking,Temporal Logic},
}