H ?
«
‹
←
→
›
»
Language peer sets for Rainbow: Rainbow(ID:4983/rai002)alternate simple viewCollection of sublanguages, primarily used for formal hardware verification, but actual independant languages as well Machester University 1998 Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |