Inproceedings,
The Maude Formal Tool Environment.
M. Clavel, F. Durán, J. Hendrix, S. Lucas, J. Meseguer, and P. Ölveczky.CALCO, volume 4624 of Lecture Notes in Computer Science, page 173-178. Springer, (2007)
Meta data
- BibTeX key
- conf/calco/ClavelDHLMO07
- entry type
- inproceedings
- booktitle
- CALCO
- year
- 2007
- pages
- 173-178
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 4624
- crossref
- conf/calco/2007
- ee
- https://doi.org/10.1007/978-3-540-73859-6_12
- isbn
- 978-3-540-73857-2
- url
- http://dblp.uni-trier.de/db/conf/calco/calco2007.html#ClavelDHLMO07
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/calco/ClavelDHLMO07
%A Clavel, Manuel
%A Durán, Francisco
%A Hendrix, Joe
%A Lucas, Salvador
%A Meseguer, José
%A Ölveczky, Peter Csaba
%B CALCO
%D 2007
%E Mossakowski, Till
%E Montanari, Ugo
%E Haveraaen, Magne
%I Springer
%K dblp
%P 173-178
%T The Maude Formal Tool Environment.
%U http://dblp.uni-trier.de/db/conf/calco/calco2007.html#ClavelDHLMO07
%V 4624
%@ 978-3-540-73857-2
@inproceedings{conf/calco/ClavelDHLMO07,
added-at = {2023-09-20T00:00:00.000+0200},
author = {Clavel, Manuel and Durán, Francisco and Hendrix, Joe and Lucas, Salvador and Meseguer, José and Ölveczky, Peter Csaba},
biburl = {https://www.bibsonomy.org/bibtex/2c282e429319cd772ad747d38bd27445f/dblp},
booktitle = {CALCO},
crossref = {conf/calco/2007},
editor = {Mossakowski, Till and Montanari, Ugo and Haveraaen, Magne},
ee = {https://doi.org/10.1007/978-3-540-73859-6_12},
interhash = {714002802f3c328125333440567f3674},
intrahash = {c282e429319cd772ad747d38bd27445f},
isbn = {978-3-540-73857-2},
keywords = {dblp},
pages = {173-178},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T04:26:59.000+0200},
title = {The Maude Formal Tool Environment.},
url = {http://dblp.uni-trier.de/db/conf/calco/calco2007.html#ClavelDHLMO07},
volume = 4624,
year = 2007
}