Search for persons
X
?
Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design ,
4
Refinemant verification of fair transition systems can cont..:
, In:
?
8
Bulletin of Pan American Union. [Volume LXXVII. January-Jun..
United States congressional serial set ; serial set no. 10826;House document / 78th Congress, 1st session. House ; no. 37, pt. 1, 2, 3, 4, 5 & 6