Generalised regular MSC languages

Bollig, Benedikt; Leucker, Martin; Noll, Thomas

doi:10.1007/3-540-45931-6_5

Generalised regular MSC languages

Bollig, Benedikt (Author) ; Leucker, Martin (Author) ; Noll, Thomas (Author)^RWTH*

In
Foundations of software science and computation structures : 5th international conference ; proceedings / FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002. Mogens Nielsen; Uffe Engberg (ed.), Seiten/Artikel-Nr: 52-66

2002

Konferenz/Event:Foundations of software science and computation structures : 5. international conference , Grenoble , France , FOSSACS 2002 , 2002-04-08 - 2002-04-12

Konferenz/Event:Joint European Conferences on Theory and Practice of Software , Grenoble , France , ETAPS 2002 , 2002-04-08 - 2002-04-012

ImpressumBerlin [u.a.] : Springer

Umfang52-66

ISBN3-540-43366-X

ReiheLecture notes in computer science ; 2303