Inproceedings,
Attenuation Regulation as a Term Rewriting System.
E. Asarin, T. Cachat, A. Seliverstov, T. Touili, and V. Lyubetsky.AB, volume 4545 of Lecture Notes in Computer Science, page 81-94. Springer, (2007)
Meta data
- BibTeX key
- conf/ab/AsarinCSTL07
- entry type
- inproceedings
- booktitle
- AB
- year
- 2007
- pages
- 81-94
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 4545
- crossref
- conf/ab/2007
- ee
- http://dx.doi.org/10.1007/978-3-540-73433-8_7
- isbn
- 978-3-540-73432-1
- url
- http://dblp.uni-trier.de/db/conf/ab/ab2007.html#AsarinCSTL07
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ab/AsarinCSTL07
%A Asarin, Eugene
%A Cachat, Thierry
%A Seliverstov, Alexander V.
%A Touili, Tayssir
%A Lyubetsky, Vassily A.
%B AB
%D 2007
%E Anai, Hirokazu
%E Horimoto, Katsuhisa
%E Kutsia, Temur
%I Springer
%K
%P 81-94
%T Attenuation Regulation as a Term Rewriting System.
%U http://dblp.uni-trier.de/db/conf/ab/ab2007.html#AsarinCSTL07
%V 4545
%@ 978-3-540-73432-1
@inproceedings{conf/ab/AsarinCSTL07,
added-at = {2023-12-12T22:41:11.000+0100},
author = {Asarin, Eugene and Cachat, Thierry and Seliverstov, Alexander V. and Touili, Tayssir and Lyubetsky, Vassily A.},
biburl = {https://www.bibsonomy.org/bibtex/26f4abb76bc7396358613a14e43151b7b/admin},
booktitle = {AB},
crossref = {conf/ab/2007},
editor = {Anai, Hirokazu and Horimoto, Katsuhisa and Kutsia, Temur},
ee = {http://dx.doi.org/10.1007/978-3-540-73433-8_7},
interhash = {4cf2d71aa66a4161fff746a82849e0f2},
intrahash = {6f4abb76bc7396358613a14e43151b7b},
isbn = {978-3-540-73432-1},
keywords = {},
pages = {81-94},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T22:41:11.000+0100},
title = {Attenuation Regulation as a Term Rewriting System.},
url = {http://dblp.uni-trier.de/db/conf/ab/ab2007.html#AsarinCSTL07},
volume = 4545,
year = 2007
}