Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Verification of Erlang Processes by Dependency PairsGiesl, Jürgen ; Arts, ThomasApplicable algebra in engineering, communication and computing, 2001-06, Vol.12 (1-2), p.39-72 [Periódico revisado por pares]Texto completo disponível |