Search results
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 361-385
Lecture Notes in Computer Science > CAAP '86 > 288-306
IEEE Transactions on Dependable and Secure Computing > 2017 > 14 > 3 > 339 - 349
2010 International Symposium on Information Technology > 2 > 642 - 647
Theoretical Computer Science > 2009 > 410 > 2-3 > 128-141
Electronic Notes in Theoretical Computer Science > 2007 > 190 > 2 > 85-97
Journal of Logic and Algebraic Programming > 2005 > 64 > 2 > 219-251
Data & Knowledge Engineering > 2002 > 40 > 1 > 33-70