Linear Computation of the Maximum Simultaneous Forward and Backward Bisimulation for Node-Labeled Tr - detaljert visning

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år

Medvirkende	Bjørklund, Truls Amundsen Hetland, Magnus Lie

Utgitt	Trondheim : Norwegian University of Science and Technology, Department of Computer and Information Science , 2010
Omfang	[23] s.

Biblioteksøk