An intentional characterization of maximal bisimulations in SCCs

Författare
Lars Hallnäs
Språk
Engelska
Förlag År Ort Om boken ISBN
1986 Sverige, Uppsala 10 sidor.