Computer Science Logic

Details

Request a copyRequest a copy
Serval ID
serval:BIB_A8EDD9B7E0F6
Type
Inproceedings: an article in a conference proceedings.
Collection
Publications
Institution
UNIL/CHUV
Title
Computer Science Logic
Title of the conference
21st International Workshop, CSL 2007 16th Annual Conference of the EACSL Lausanne, Switzerland
Author(s)
Duparc J., Henzinger T.A.
Publisher
Springer
Publication state
Published
Issued date
09/2007
Peer-reviewed
Oui
Volume
4646
OAI-PMH
oai:serval.unil.ch:BIB_A8EDD9B7E0F6
Create date
28/01/2008 16:36
Last modification date
20/08/2019 16:13
Usage data