Using Maude

Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí Oliet, Narciso; Meseguer, José; Quesada Moreno, José Francisco

doi:10.1007/3-540-46428-X_27

Ponencia

dc.creator	Clavel, Manuel	es
dc.creator	Durán, Francisco	es
dc.creator	Eker, Steven	es
dc.creator	Lincoln, Patrick	es
dc.creator	Martí Oliet, Narciso	es
dc.creator	Meseguer, José	es
dc.creator	Quesada Moreno, José Francisco	es
dc.date.accessioned	2019-06-12T10:07:47Z
dc.date.available	2019-06-12T10:07:47Z
dc.date.issued	2000
dc.identifier.citation	Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí Oliet, N., Meseguer, J. y Quesada Moreno, J.F. (2000). Using Maude. En FASE 2000 : Third International Conference on Fundamental Approaches to Software Engineering (371-374), Berlin, Germany: Springer.
dc.identifier.isbn	978-3-540-67261-6	es
dc.identifier.issn	0302-9743	es
dc.identifier.uri	https://hdl.handle.net/11441/87371
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Springer	es
dc.relation.ispartof	FASE 2000 : Third International Conference on Fundamental Approaches to Software Engineering (2000), p 371-374
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Using Maude	es
dc.type	info:eu-repo/semantics/conferenceObject	es
dc.type.version	info:eu-repo/semantics/submittedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial	es
dc.relation.publisherversion	https://link.springer.com/chapter/10.1007/3-540-46428-X_27	es
dc.identifier.doi	10.1007/3-540-46428-X_27	es
idus.format.extent	4	es
dc.publication.initialPage	371	es
dc.publication.endPage	374	es
dc.eventtitle	FASE 2000 : Third International Conference on Fundamental Approaches to Software Engineering	es
dc.eventinstitution	Berlin, Germany	es
dc.relation.publicationplace	Berlin	es

Ficheros	Tamaño	Formato	Ver	Descripción
Using Maude.pdf	172.4Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Ponencias (Ciencias de la Computación e Inteligencia Artificial)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional