Bertran, Miquel

ID:DA08655116

Search authors sharing the same name

Search Results1-2 of 2

1

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings

Miquel Bertran, Teodor Rus, (eds.)

Springer c1997 Lecture notes in computer science 1231

Available at 41 libraries
2

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)

Springer-Verlag c1994 Lecture notes in computer science 873

: gw , : us

Available at 55 libraries

Search this author

Related Authors