An automatic technique for static deadlock prevention
dc.contributor.author
Meyer, Bertrand
dc.contributor.editor
Voronkov, Andrei
dc.contributor.editor
Virbitskaite, Irina
dc.date.accessioned
2017-06-11T19:41:51Z
dc.date.available
2017-06-11T19:41:51Z
dc.date.issued
2015
dc.identifier.isbn
978-3-662-46822-7
dc.identifier.isbn
978-3-662-46823-4
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-662-46823-4_4
dc.identifier.uri
http://hdl.handle.net/20.500.11850/104878
dc.language.iso
en
dc.publisher
Springer
dc.title
An automatic technique for static deadlock prevention
dc.type
Conference Paper
ethz.book.title
Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24–27, 2014, Revised Selected Papers
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
8974
ethz.journal.abbreviated
LNCS
ethz.pages.start
45
ethz.pages.end
58
ethz.event
9th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2014
ethz.event.location
St. Petersburg, Russia
ethz.event.date
June 24-27, 2014
ethz.identifier.wos
ethz.identifier.scopus
ethz.identifier.nebis
010461632
ethz.publication.place
Berlin; Heidelberg
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.date.deposited
2017-06-11T19:42:42Z
ethz.source
ECIT
ethz.identifier.importid
imp593653871525662878
ethz.ecitpid
pub:164165
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-18T15:42:49Z
ethz.rosetta.lastUpdated
2024-02-01T23:17:29Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=An%20automatic%20technique%20for%20static%20deadlock%20prevention&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2015&rft.volume=8974&rft.spage=45&rft.epage=58&rft.issn=0302-9743&1611-3349&rft.au=Meyer,%20Bertrand&rft.isbn=978-3-662-46822-7&978-3-662-46823-4&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-662-46823-4_4&rft.btitle=Perspectives%20of%20System%20Informatics:%209th%20International%20Ershov%20Informatics%20Conference,%20PSI%202014,%20St.%20Petersburg,%20Russia,%20June%2024%E2%80%9327,%
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [34961]