Using maude

Manuel Clavel; Fransisco Durán; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; Jose Meseguer; Jose F. Quesada

Using maude

Manuel Clavel, Fransisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, Jose Meseguer, Jose F. Quesada

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Fundamental Approaches to Software Engineering - 3rd International Conference, FASE 2000 Held as Part of the Joint European Conferenceson Theory and Practice of Software, ETAPS 2000, Proceedings
Editors	Tom Maibaum
Publisher	Springer-Verlag
Pages	371-374
Number of pages	4
ISBN (Print)	3540672613
State	Published - Jan 1 2000
Externally published	Yes
Event	3rd International Conference on Fundamental Approaches to Software Engineering, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 - Berlin, Germany Duration: Mar 25 2000 → Apr 2 2000

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1783
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	3rd International Conference on Fundamental Approaches to Software Engineering, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000
Country	Germany
City	Berlin
Period	3/25/00 → 4/2/00

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

Cite this

Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., & Quesada, J. F. (2000). Using maude. In T. Maibaum (Ed.), Fundamental Approaches to Software Engineering - 3rd International Conference, FASE 2000 Held as Part of the Joint European Conferenceson Theory and Practice of Software, ETAPS 2000, Proceedings (pp. 371-374). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1783). Springer-Verlag.

Using maude. / Clavel, Manuel; Durán, Fransisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, Jose; Quesada, Jose F.

Fundamental Approaches to Software Engineering - 3rd International Conference, FASE 2000 Held as Part of the Joint European Conferenceson Theory and Practice of Software, ETAPS 2000, Proceedings. ed. / Tom Maibaum. Springer-Verlag, 2000. p. 371-374 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1783).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Clavel, M, Durán, F, Eker, S, Lincoln, P, Martí-Oliet, N, Meseguer, J & Quesada, JF 2000, Using maude. in T Maibaum (ed.), Fundamental Approaches to Software Engineering - 3rd International Conference, FASE 2000 Held as Part of the Joint European Conferenceson Theory and Practice of Software, ETAPS 2000, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1783, Springer-Verlag, pp. 371-374, 3rd International Conference on Fundamental Approaches to Software Engineering, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, 3/25/00.

Clavel M, Durán F, Eker S, Lincoln P, Martí-Oliet N, Meseguer J et al. Using maude. In Maibaum T, editor, Fundamental Approaches to Software Engineering - 3rd International Conference, FASE 2000 Held as Part of the Joint European Conferenceson Theory and Practice of Software, ETAPS 2000, Proceedings. Springer-Verlag. 2000. p. 371-374. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Clavel, Manuel ; Durán, Fransisco ; Eker, Steven ; Lincoln, Patrick ; Martí-Oliet, Narciso ; Meseguer, Jose ; Quesada, Jose F. / Using maude. Fundamental Approaches to Software Engineering - 3rd International Conference, FASE 2000 Held as Part of the Joint European Conferenceson Theory and Practice of Software, ETAPS 2000, Proceedings. editor / Tom Maibaum. Springer-Verlag, 2000. pp. 371-374 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{80028494188849e5bdde2f8cc3f35b1f,

title = "Using maude",

author = "Manuel Clavel and Fransisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'i}-Oliet and Jose Meseguer and Quesada, {Jose F.}",

year = "2000",

month = jan,

day = "1",

language = "English (US)",

isbn = "3540672613",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "371--374",

editor = "Tom Maibaum",

booktitle = "Fundamental Approaches to Software Engineering - 3rd International Conference, FASE 2000 Held as Part of the Joint European Conferenceson Theory and Practice of Software, ETAPS 2000, Proceedings",

note = "3rd International Conference on Fundamental Approaches to Software Engineering, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 ; Conference date: 25-03-2000 Through 02-04-2000",

}

TY - GEN

T1 - Using maude

AU - Clavel, Manuel

AU - Durán, Fransisco

AU - Eker, Steven

AU - Lincoln, Patrick

AU - Martí-Oliet, Narciso

AU - Meseguer, Jose

AU - Quesada, Jose F.

PY - 2000/1/1

Y1 - 2000/1/1

UR - http://www.scopus.com/inward/record.url?scp=84945245677&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84945245677&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84945245677

SN - 3540672613

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 371

EP - 374

BT - Fundamental Approaches to Software Engineering - 3rd International Conference, FASE 2000 Held as Part of the Joint European Conferenceson Theory and Practice of Software, ETAPS 2000, Proceedings

A2 - Maibaum, Tom

PB - Springer-Verlag

T2 - 3rd International Conference on Fundamental Approaches to Software Engineering, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000

Y2 - 25 March 2000 through 2 April 2000

ER -