Eriksson, L.-H. (Lars-Henrik)

ID:DA06414006

Alias Name: Eriksson, Lars-Henrik

Search authors sharing the same name

Search Results1-2 of 2

1

FME 2002 : formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings

Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)

Springer c2002 Lecture notes in computer science 2391

Available at 29 libraries
2

Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings

L.-H. Eriksson, L.Hallnäs, P. Schroeder-Heister (eds.)

Springer-Verlag c1992 Lecture notes in computer science 596 . Lecture notes in artificial intelligence

: gw , : us

Available at 53 libraries

Search this author

Related Authors