BibSonomy :: bibtex ::

tag user group author concept BibTeX key search:all search:bsmyth

A blue social bookmark and publication sharing system.

tags · relations · groups · popular	help · blog · about
username: password: myFriends myRelations mySearch myPDF myDuplicates myBibTeX	login · register

bsmyth's BibTeX entry:

Modal and Temporal Logics

: 478--563, 1992.

Authors:	C. Stirling
Editors:	S. Abramsky and D. Gabbay and T.S.E. Maibaum
Description:	all-bibs-cleaned.bib
Tags:	imported

| BibTeX

@inbook{Sti92,

title = {{Modal and Temporal Logics}},
author = {C. Stirling},
crossref = {AbrGabMai92vol2},
editor = {S. Abramsky and D. Gabbay and T.S.E. Maibaum},
pages = {478--563},
publisher = {Oxford University Press},
year = {1992},
description = {all-bibs-cleaned.bib},
optvolume = {2},
keywords = {imported }

}