Title: Formal techniques for networked and distributed systems--FORTE 2002
First published: 2002
Subjects: Congresses, Computer network protocols, Electronic data processing, Formal methods (Computer science), Distributed processing, Logic design, Computer communication networks, Computer science, Software engineering, Operating systems (Computers), Electronic data processing, distributed processing
LC classification: QA76.9.F67 F67 2002