Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book
%1 Glabbeek2001
%A van Glabbeek, R.J.
%B Handbook of Process Algebra
%C Amsterdam, The Netherlands
%D 2001
%I Elsevier Science
%K
%P 3--99
%T The Linear Time -- Branching Time Spectrum I: The Semantics of Concrete, Sequential Processes
@book{Glabbeek2001,
added-at = {2012-08-06T21:22:32.000+0200},
address = {Amsterdam, The Netherlands},
author = {van Glabbeek, R.J.},
biburl = {https://www.bibsonomy.org/bibtex/280f100e2619321f3405caed3d978ec23/lucio_duarte},
booktitle = {Handbook of Process Algebra},
editors = {J.A. Bergstra, A. Ponse, and S.A. Smolka},
groups = {public},
interhash = {d1249766c6955404b24f44b1c3f345d1},
intrahash = {80f100e2619321f3405caed3d978ec23},
keywords = {},
pages = {3--99},
publisher = {Elsevier Science},
timestamp = {2012-08-06T21:22:32.000+0200},
title = {The {L}inear {T}ime -- {B}ranching {T}ime {S}pectrum {I}: {T}he {S}emantics of {C}oncrete, {S}equential {P}rocesses},
username = {lucio_duarte},
year = 2001
}