Title: Formal techniques for networked and distributed systems--FORTE 2008
First published: 2008
Subjects: Congresses, Computer network protocols, Electronic data processing, Formal methods (Computer science), Distributed processing, Electronic data processing, distributed processing, System design
LC classification: QA76.9.F67 F67 2008